A compositional coalgebraic model of fusion calculus.
Maria Grazia BuscemiUgo MontanariPublished in: J. Log. Algebraic Methods Program. (2007)
Keyphrases
- probabilistic model
- experimental data
- computational model
- real time
- prediction model
- high level
- objective function
- prior knowledge
- cost function
- least squares
- network model
- image fusion
- formal model
- simulation model
- conceptual model
- mathematical model
- process model
- theoretical analysis
- image registration
- probability distribution
- evolutionary algorithm
- image sequences
- learning algorithm
- data sets