Keyphrases
- fault diagnosis
- fault detection
- model checking
- formal verification
- data structure
- face verification
- formal methods
- functional verification
- verification method
- false acceptance
- image processing
- fault detection and isolation
- fault detection and diagnosis
- abnormal events
- person identification
- signature verification
- multiresolution