Keyphrases
- model checking
- face verification
- verification method
- asynchronous circuits
- formal verification
- signature verification
- data mining
- concurrent systems
- person identification
- formal methods
- target tracking
- moving target
- artificial intelligence
- machine learning
- multi agent systems
- video sequences
- database systems
- decision trees
- decision making
- databases
- functional verification