Conformance Relations and Hyperproperties for Doping Detection in Time and Space.
Sebastian BiewerRayna DimitrovaMichael FriesMaciej GazdaThomas HeinzeHolger HermannsMohammad Reza MousaviPublished in: Log. Methods Comput. Sci. (2022)
Keyphrases
- detection method
- object detection
- event detection
- automatic detection
- higher dimensional
- detection accuracy
- semantic relations
- lattice structure
- automated detection
- low dimensional
- detection algorithm
- space time
- learning algorithm
- detection rate
- false positives
- attribute values
- anomaly detection
- bayesian networks
- social networks