Using the CASM language for simulator synthesis and model verification.
Roland LezuoAndreas KrallPublished in: RAPIDO (2013)
Keyphrases
- simulation model
- high level
- computational model
- prior knowledge
- experimental data
- theoretical framework
- formal model
- artificial intelligence
- computational models
- conceptual model
- cost function
- probability distribution
- management system
- specification language
- data sets
- programming language
- natural language
- image segmentation
- knowledge base
- information retrieval
- neural network