Improved on-the-Fly Livelock Detection.

Alfons Laarman David Faragó

Published in: NASA Formal Methods (2013)

Keyphrases

detection algorithm
search engine
false alarms
detection method
detection accuracy
automatic detection
multimedia
multiscale
automated detection
database
detection scheme
detection rate
false positives
learning environment
metadata
machine learning
neural network