Keyphrases
- e learning
- asynchronous circuits
- model checking
- formal verification
- symbolic representation
- formal analysis
- face verification
- data sets
- verification method
- connectionist models
- case study
- neural network
- databases
- probabilistic model
- expert systems
- optimal solution
- high level
- formal methods
- signature verification
- data mining
- binary decision diagrams
- person identification
- neural learning
- real time
- symbolic description