Improving Abstract Propagation For Verification Of Neural Networks.
Stefano DemarchiAndrea GimelliArmando TacchellaPublished in: ECMS (2024)
Keyphrases
- neural network
- pattern recognition
- artificial neural networks
- fuzzy logic
- real time
- information systems
- expert systems
- computational intelligence
- self organizing maps
- neural nets
- asynchronous circuits
- competitive learning
- face verification
- fuzzy neural network
- multi layer
- feature extraction
- machine learning
- databases