Proving Consistency of Pure Methods and Model Fields.
K. Rustan M. LeinoRonald MiddelkoopPublished in: FASE (2009)
Keyphrases
- statistical model
- computational model
- qualitative and quantitative
- linear regression
- prior knowledge
- linear models
- formal model
- conceptual model
- mathematical model
- computational cost
- high level
- knowledge base
- computer vision
- probability distribution
- em algorithm
- theoretical analysis
- multiscale
- similarity measure
- classification method
- experimental data
- statistical models
- machine learning
- parameter values
- hybrid method
- neural network