CEG4N: Counter-Example Guided Neural Network Quantization Refinement.
João Batista Pereira Matos Jr.Iury BessaEdoardo ManinoXidan SongLucas C. CordeiroPublished in: NSV/FoMLAS@CAV (2022)
Keyphrases
- neural network
- artificial neural networks
- back propagation
- neural network model
- pattern recognition
- neural network is trained
- backpropagation neural network
- genetic algorithm
- bp neural network
- multiscale
- computational complexity
- refinement process
- fuzzy artmap
- learning vector quantization
- prediction model
- neural nets
- network model
- real time
- hybrid neural network
- quantization error
- feed forward neural networks
- network architecture
- multi layer
- recurrent neural networks
- radial basis function
- self organizing maps
- knn
- case study
- image processing