An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations.
Jordi CabotRobert ClarisóEsther GuerraJuan de LaraPublished in: MoDELS (2008)
Keyphrases
- probabilistic model
- computational model
- statistical model
- cost function
- regression analysis
- theoretical analysis
- prediction model
- mathematical model
- objective function
- prior knowledge
- optimization model
- parameter estimation
- high order
- pairwise
- sensitivity analysis
- hybrid model
- study proposes
- energy function
- classification method
- classification algorithm
- closed form
- optimization method
- statistical methods
- segmentation method
- input data
- probability distribution
- dynamic programming
- hidden markov models
- modeling method
- analytical model