Using ATL for Checking Models.

Jean Bézivin Frédéric Jouault

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

probabilistic model
machine learning algorithms
mathematical models
accurate models
databases
model selection
statistical model
statistical models
database
e learning
search algorithm
pairwise
data model
experimental data