Fusion in Coq.

José Luis Freire José E. Freire Brañas Antonio Blanco Ferro Juan J. Sánchez Penas

Published in: EUROCAST (2001)

Keyphrases

multi sensor
data fusion
information fusion
fusion methods
theorem prover
social networks
formal methods
fusion method
fusion framework
sensor fusion
image fusion
computer vision
information retrieval
image segmentation
multimedia
feature selection
data mining