Keyphrases
- model checking
- verification method
- formal verification
- face verification
- artificial intelligence
- neural network
- formal methods
- artificial neural networks
- data mining
- finite automata
- person identification
- asynchronous circuits
- data sets
- failure detection
- false acceptance rate
- equational theories
- handwritten signature verification