Building verified neural networks with specifications for systems.
Cheng TanYibo ZhuChuanxiong GuoPublished in: APSys (2021)
Keyphrases
- neural network
- pattern recognition
- real time
- neuro fuzzy systems
- fuzzy logic
- management system
- data sets
- complex systems
- learning systems
- back propagation
- building blocks
- artificial neural networks
- high level
- machine learning
- expert systems
- case study
- distributed systems
- multimedia
- knowledge base
- artificial intelligence
- information retrieval
- retrieval systems