Constraint Validation in Model Compilers.

László Lengyel Tihamer Levendovszky Hassan Charaf

Published in: J. Object Technol. (2006)

Keyphrases

probabilistic model
computational model
high level
general purpose
theoretical analysis
process model
conceptual model
simulation model
formal model
image segmentation
prior knowledge
mathematical model
statistical model
prediction model