Towards Integrated Verification of Timed Transition Models.

Mark Lawford Vera Pantelic Hong Zhang

Published in: Fundam. Informaticae (2006)

Keyphrases

neural network
probabilistic model
language model
machine learning algorithms
accurate models
genetic algorithm
artificial intelligence
computer vision
information systems
parameter estimation
complex systems
model checking
statistical models