Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties.
Henri HansenWojciech PenczekAntti ValmariPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- false alarms
- object detection
- automatic detection
- detection method
- cellular automata
- detection rate
- detection accuracy
- structural properties
- detection algorithm
- desirable properties
- false positives
- topological properties
- real time
- anomaly detection
- image sequences
- decision trees
- clustering algorithm
- image processing