Keyphrases
- model checking
- concurrent systems
- formal verification
- formal methods
- genetic algorithm
- signature verification
- face verification
- metadata
- information retrieval
- multiscale
- hidden markov models
- feature extraction
- database systems
- case study
- artificial intelligence
- verification method
- column oriented
- handwritten signature verification