Model verification in λσ: a type inference approach.
Enrique V. KortrightPublished in: Annual Simulation Symposium (1991)
Keyphrases
- high level
- probabilistic model
- bayesian model
- information retrieval
- knowledge base
- similarity measure
- machine learning
- prior knowledge
- management system
- decision theoretic
- bayesian inference
- computational model
- probabilistic inference
- verification method
- random fields
- sensitivity analysis
- conceptual model
- closed form
- statistical model
- theoretical analysis
- graphical models
- cost function
- multi agent systems