Conformance Relations and Hyperproperties for Doping Detection in Time and Space.
Sebastian BiewerRayna DimitrovaMichael FriesMaciej GazdaThomas HeinzeHolger HermannsMohammad Reza MousaviPublished in: CoRR (2020)
Keyphrases
- detection algorithm
- detection accuracy
- detection rate
- false positives
- object detection
- automatic detection
- detection method
- space time
- background knowledge
- space requirements
- false alarms
- low dimensional
- change detection
- event detection
- anomaly detection
- semantic relations
- dimensionality reduction
- search space
- search algorithm