Two-Variable Logic on Words with Data.

Mikolaj Bojanczyk Anca Muscholl Thomas Schwentick Luc Segoufin Claire David

Published in: LICS (2006)

Keyphrases

data sets
synthetic data
data collection
data analysis
image data
raw data
training data
database
data points
complex data
computer systems
knowledge discovery
decision trees
end users
data sources
small number
knowledge base
high dimensional data
feature selection
search engine
data objects
neural network
text corpora