Race Detection in Two Dimensions.

Dimitar K. Dimitrov Martin T. Vechev Vivek Sarkar

Published in: ACM Trans. Parallel Comput. (2018)

Keyphrases

object detection
false alarms
automatic detection
detection method
false positives
image processing
detection algorithm
neural network
detection accuracy
multiresolution
computer vision
search engine
artificial intelligence
information retrieval
object recognition
video sequences
data sets