Online Verification of Deep Neural Networks under Domain or Weight Shift.
Tianhao WeiChangliu LiuPublished in: CoRR (2021)
Keyphrases
- neural network
- domain independent
- domain specific
- pattern recognition
- feed forward
- online learning
- artificial neural networks
- fuzzy logic
- real time
- artificial intelligence
- weight update
- multi layer
- database
- online training
- formal verification
- face verification
- travel planning
- neural nets
- neural network model
- fault diagnosis
- back propagation
- information systems
- social networks