Keyphrases
- neural network
- model checking
- pattern recognition
- artificial neural networks
- neural network model
- formal methods
- feed forward
- genetic algorithm
- fuzzy logic
- asynchronous circuits
- back propagation
- formal verification
- fuzzy systems
- multi layer
- person identification
- signature verification
- feedforward neural networks
- face verification
- recurrent neural networks
- web services
- database
- case study
- self organizing maps
- sufficient conditions