Keyphrases
- model checking
- formal verification
- face verification
- real time
- verification method
- learning algorithm
- information systems
- asynchronous circuits
- signature verification
- control system
- computer science and engineering
- person identification
- hidden markov models
- information technology
- optimal solution
- case study
- decision trees
- website
- information retrieval
- real world