Keyphrases
- model checking
- model based diagnosis
- fault diagnosis
- medical diagnosis
- diagnostic reasoning
- multiple faults
- automatic diagnosis
- fault detection
- scanning electron microscope
- medical diagnostic
- model based reasoning
- formal verification
- image processing
- computer vision
- breast cancer diagnosis
- database
- image analysis
- video sequences
- heart disease
- cardiovascular disease
- genetic algorithm
- data mining
- neural network