Designing and Applying a Framework for Logic-Based Model Querying.
Patrick DohrmannSebastian HeroldPublished in: EUROMICRO-SEAA (2010)
Keyphrases
- theoretical foundation
- computational model
- probabilistic model
- theoretical framework
- metamodel
- bayesian framework
- conceptual framework
- generic model
- mathematical model
- modeling framework
- mathematical framework
- main contribution
- theoretical analysis
- management system
- probability distribution
- cost function
- unified model
- statistical model
- computational framework
- formal model
- databases
- high level