Automata based verification over linearly ordered data domains.

Luc Segoufin Szymon Torunczyk

Published in: STACS (2011)

Keyphrases

data sets
database
data analysis
data sources
data processing
training data
synthetic data
application domains
data collection
data quality
raw data
image data
high dimensional
high quality
end users
class labels
xml documents