Keyphrases
- model checking
- formal verification
- transfer learning
- concurrent systems
- artificial intelligence
- website
- signature verification
- verification method
- machine learning
- face detection
- false acceptance rate
- multimodal biometrics
- hidden markov models
- web pages
- feature selection
- computer vision
- learning algorithm
- information retrieval