Detection of Cycle in Real-Time System Specification.
Tereza G. KirnerPublished in: ACM SIGPLAN Notices (1994)
Keyphrases
- real time
- object detection
- automatic detection
- detection accuracy
- detection method
- false positives
- text localization and recognition
- face detection and tracking
- false alarms
- low cost
- knowledge base
- detecting and tracking multiple
- detection algorithm
- change detection
- automated detection
- detection rate
- database systems
- artificial intelligence
- formal verification
- genetic algorithm
- high speed
- learning algorithm
- real time systems
- formal methods
- event detection
- hidden markov models
- business processes
- anomaly detection