Modelling Fusion Calculus using HD-Automata.
Gian Luigi FerrariUgo MontanariEmilio TuostoBjörn VictorKidane YemanePublished in: CALCO (2005)
Keyphrases
- timed automata
- data fusion
- information fusion
- algebraic structure
- sensor fusion
- finite automata
- probabilistic automata
- image processing
- multi sensor
- fusion algorithm
- fusion method
- lattice gas
- provably correct
- turing machine
- high definition
- neural network
- image fusion
- multiresolution
- multiscale
- learning algorithm
- genetic algorithm