Semantics and Algorithms for Parametric Monitoring

Grigore Rosu Feng Chen

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

learning algorithm
orders of magnitude
decision trees
case study
computational complexity
benchmark datasets
real time
information retrieval
image segmentation
data structure
times faster