MACE4 and SEM: A Comparison of Finite Model Generators.
Hantao ZhangJian ZhangPublished in: Automated Reasoning and Mathematics (2013)
Keyphrases
- formal model
- cost function
- experimental data
- parameter values
- decision making
- conceptual model
- parameter estimation
- computational model
- object model
- real time
- prediction model
- closed form
- mathematical model
- em algorithm
- markov random field
- probability distribution
- prior knowledge
- computer vision
- machine learning
- data sets