Detection and Correction of Logic Errors Using Extra Time Slots.
Davide DicoratoHeinrich Theodor VierhausPublished in: GI-Jahrestagung (2015)
Keyphrases
- error detection
- false alarms
- error analysis
- detection algorithm
- detection method
- automatic detection
- object detection
- detection accuracy
- modal logic
- automated reasoning
- error correction
- information systems
- classical logic
- detection rate
- face detection
- website
- anomaly detection
- least squares
- detection scheme
- artificial intelligence
- computational properties
- defeasible logic
- digital circuits
- predicate logic
- proof theory