Incremental Verification of Neural Networks.
Shubham UgareDebangshu BanerjeeSasa MisailovicGagandeep SinghPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- neural network
- pattern recognition
- feed forward
- back propagation
- incremental learning
- artificial neural networks
- face verification
- fuzzy logic
- data driven
- model checking
- neural network model
- verification method
- multi layer
- multilayer perceptron
- real time
- soft computing
- recurrent neural networks
- self organizing maps
- competitive learning
- neural learning
- neural nets
- genetic algorithm
- network architecture
- fuzzy neural network
- multi layer perceptron
- evolutionary algorithm
- feature selection