A Declarative Model Assembly Infrastructure for Verification and Validation.

Michael J. North T. R. Howe Nicholson T. Collier Jerry R. Vos

Published in: WCSS (2006)

Keyphrases

probabilistic model
prior knowledge
experimental data
high level
cost function
management system
bayesian framework
statistical model
theoretical analysis
formal model
sensitivity analysis
mathematical model
database
similarity measure
logic programs
network model
colored petri nets