Path Checking for MTL and TPTL over Data Words.

Shiguang Feng Markus Lohrey Karin Quaas

Published in: DLT (2015)

Keyphrases

data sets
original data
data collection
data processing
database
raw data
data analysis
synthetic data
training data
image data
statistical analysis
machine learning
knowledge discovery
data points
data structure
high quality
data mining techniques
text classification
end users
data sources