Race Detection in Two Dimensions.

Dimitar K. Dimitrov Martin T. Vechev Vivek Sarkar

Published in: SPAA (2015)

Keyphrases

detection algorithm
detection accuracy
object detection
anomaly detection
false positives
neural network
high dimensional
genetic algorithm
change detection
event detection
automatic detection
learning algorithm
data sets
machine learning
detection method
detection rate
databases