Reduced Models for Efficient CCS Verification.

Roberto Barbuti Nicoletta De Francesco Antonella Santone Gigliola Vaglini

Published in: Formal Methods Syst. Des. (2005)

Keyphrases

cost effective
statistical model
image processing
probabilistic model
data sets
complex systems
databases
real time
evolutionary algorithm
prior knowledge
pairwise
model selection
three dimensional
statistical models
computationally expensive
neural network model
bayesian framework