An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks.
Ye TaoWanwei LiuFu SongZhen LiangJi WangHongxu ZhuPublished in: CoRR (2023)
Keyphrases
- neural network
- pattern recognition
- artificial neural networks
- rbf network
- fuzzy logic
- input image
- cellular automata
- multi layer
- genetic algorithm
- back propagation
- competitive learning
- finite automata
- document images
- neural network model
- finite state
- recurrent neural networks
- regular expressions
- activation function
- finite state automata
- fuzzy neural network
- finite state machines
- illumination invariant
- real time
- network architecture
- training process
- fuzzy systems
- multilayer perceptron
- self organizing maps
- fault diagnosis
- color images
- case study
- artificial intelligence