Keyphrases
- model checking
- neural network
- concurrent systems
- asynchronous circuits
- fingerprint verification
- formal verification
- case study
- feature extraction
- bayesian networks
- multiscale
- objective function
- artificial neural networks
- missing data
- signature verification
- web services
- image processing
- machine learning
- verification method
- databases