Keyphrases
- neural network
- model checking
- pattern recognition
- artificial neural networks
- back propagation
- neural network is trained
- formal verification
- neural network model
- formal methods
- feed forward neural networks
- back propagation neural network
- fuzzy artmap
- learning vector quantization
- bp neural network
- hybrid intelligent
- radial basis
- hybrid neural network
- training algorithm
- fault diagnosis
- knn
- multi layer
- radial basis function
- self organizing maps
- fingerprint verification
- genetic algorithm
- information retrieval
- machine learning