VODCA: Verification of Diagnosis Using CAM-Based Approach for Explainable Process Monitoring.
Cheolhwan OhJongpil JeongPublished in: Sensors (2020)
Keyphrases
- model checking
- automatic diagnosis
- fault diagnosis
- model based diagnosis
- fault detection
- formal analysis
- model based reasoning
- safety analysis
- real time
- genetic algorithm
- social networks
- medical diagnostic
- face verification
- false acceptance
- breast cancer diagnosis
- diagnostic reasoning
- medical knowledge
- formal methods
- multiscale
- computer vision
- data sets