Keyphrases
- graphical user interface
- user friendly
- visualization tool
- graphical user interfaces
- formal verification
- model checking
- user interface
- face verification
- concurrent systems
- formal methods
- artificial neural networks
- search algorithm
- feature extraction
- clustering algorithm
- search engine
- learning algorithm
- person identification
- machine learning
- data sets