Testing and Refinement for Nondeterministic and Probabilistic Processes.

Bengt Jonsson Chris Ho-Stuart Wang Yi

Published in: FTRTFT (1994)

Keyphrases

bayesian networks
finite state
data driven
data sets
context sensitive
process model
generative model
multiscale
computational models
probabilistic model
computer vision
database
similarity measure
decision trees
test set
artificial intelligence
genetic algorithm
neural network
databases
probabilistic logic