Login / Signup
Experimenting Acceleration Methods for the Validation of Infinite State Systems.
Jean-Paul Bodeveix
Mamoun Filali
Published in:
ICDCS Workshop on Distributed System Validation and Verification (2000)
Keyphrases
</>
preprocessing
expert systems
machine learning methods
databases
qualitative and quantitative
neural network
similarity measure
video sequences
image retrieval
significant improvement
computational cost
management system
distributed systems
intelligent systems
biometric systems
methods require