A Logic Hazard Detection and Elimination Method
Levente L. MátéSantanu DasHenry Y. H. ChuangPublished in: Inf. Control. (1974)
Keyphrases
- detection method
- detection algorithm
- high precision
- computational cost
- pairwise
- probabilistic model
- image sequences
- evolutionary algorithm
- cost function
- dynamic programming
- theoretical analysis
- verification method
- neural network
- optimization algorithm
- segmentation algorithm
- anomaly detection
- preprocessing
- feature extraction
- image processing