Divide, Abstract, and Model-Check.

Karsten Stahl Kai Baukus Yassine Lakhnech Martin Steffen

Published in: SPIN (1999)

Keyphrases

formal model
probabilistic model
statistical model
mathematical model
experimental data
linear model
neural network
learning algorithm
knowledge base
similarity measure
evolutionary algorithm
hidden markov models
computational model
conceptual model
bayesian framework
prediction model