MASKS: A Multi-Artificial Neural Networks System's verification approach.
Amirhoshang Hoseinpour DehkordiMajid AlizadehEbrahim Ardeshir-LarijaniAli MovagharPublished in: CoRR (2020)
Keyphrases
- artificial neural networks
- neural network
- back propagation
- model checking
- computational intelligence
- edge detection
- feed forward
- hybrid model
- face verification
- decision making
- formal verification
- application of artificial neural networks
- fuzzy logic
- information systems
- real time
- search engine
- real world
- morphological operations