A calculational fusion system HYLO.

Yoshiyuki Onoue Zhenjiang Hu Hideya Iwasaki Masato Takeichi

Published in: Algorithmic Languages and Calculi (1997)

Keyphrases

data fusion
information fusion
theorem proving
fusion method
fusion framework
pattern recognition
multi sensor
fusion algorithm
sensor fusion
decision making
fusion methods
fusion scheme