Using Bisimulations for Optimality Problems in Model Refinement.
Roland GlückPublished in: RAMiCS (2011)
Keyphrases
- statistical model
- computational model
- objective function
- probabilistic model
- formal model
- experimental data
- mathematical model
- integer linear programming
- theoretical framework
- parameter estimation
- markov random field
- management system
- face recognition
- state space
- conceptual model
- neural network model
- decision trees