Equivalence Verification of Timed Transition Models.

Mark Lawford Hong Zhang

Published in: ACSD (2004)

Keyphrases

e learning
probabilistic model
machine learning
expert systems
evolutionary algorithm
prior knowledge
markov random field
classification models
accurate models