Approximate Verification of Probabilistic Systems.

Richard Lassaigne Sylvain Peyronnet

Published in: PAPM-PROBMIV (2002)

Keyphrases

management system
neural network
real time
expert systems
intelligent systems
generative model
formal methods
data mining
e learning
clustering algorithm
bayesian networks
data streams
data driven
learning systems
petri net
retrieval systems
information theoretic