Models for Reactivity.

Zohar Manna Amir Pnueli

Published in: Acta Informatica (1993)

Keyphrases

probabilistic model
statistical models
machine learning algorithms
neural network model
data sets
image processing
decision trees
bayesian networks
multiresolution
experimental data
mathematical models
historical data