Keyphrases
- learning theory
- model checking
- formal verification
- learning algorithm
- programming language
- formal methods
- artificial neural networks
- data sets
- dependency directed backtracking
- signature verification
- knowledge representation
- real time
- image processing
- e learning
- face verification
- information systems
- information retrieval
- real world
- asynchronous circuits
- verification method
- functional verification