Keyphrases
- real time
- reactive systems
- detection method
- real time systems
- low cost
- face detection and tracking
- object detection
- detection algorithm
- model checking
- state machines
- anomaly detection
- false positives
- reverse engineering
- temporal logic
- text localization and recognition
- formal methods
- distributed databases
- petri net
- error rate
- open source
- expert systems
- knowledge base
- artificial intelligence