NeVer: a tool for artificial neural networks verification.
Luca PulinaArmando TacchellaPublished in: Ann. Math. Artif. Intell. (2011)
Keyphrases
- artificial neural networks
- neural network
- back propagation
- model checking
- face verification
- decision making
- genetic algorithm ga
- real time
- application of artificial neural networks
- functional verification
- signature verification
- analysis tool
- multi layer perceptron
- radial basis function
- user friendly
- computational intelligence
- search engine
- artificial intelligence
- data sets