Assurance via model transformations and their hierarchical refinement.
Zinovy DiskinTom MaibaumAlan WassyngStephen Wynn-WilliamsMark LawfordPublished in: MoDELS (2018)
Keyphrases
- multiscale
- parameter estimation
- decision trees
- formal model
- management system
- markov random field
- computational model
- experimental data
- em algorithm
- prediction model
- simulation model
- coarse to fine
- conceptual model
- hierarchical structure
- information retrieval
- probability distribution
- video sequences
- similarity measure
- information systems