Keyphrases
- model checking
- modular structure
- concurrent systems
- modular neural networks
- formal verification
- signature verification
- formal analysis
- face verification
- multiscale
- three dimensional
- neural network
- search algorithm
- information technology
- feature extraction
- formal methods
- knowledge base
- computer vision
- artificial intelligence
- person identification
- highly flexible
- fingerprint verification
- machine learning
- data sets