Proving Consistency and Completeness of Model Classes Using Theory Interpretation.
Ádám DarvasPeter MüllerPublished in: FASE (2010)
Keyphrases
- computational model
- high level
- mathematical model
- conceptual framework
- em algorithm
- formal model
- neural network
- prior knowledge
- probabilistic model
- statistical model
- computational models
- image sequences
- probability distribution
- database
- expert systems
- theoretical framework
- objective function
- experimental data
- theoretical foundation