Algebraic Methods and Bounded Formulas.

Domenico Zambella

Published in: Notre Dame J. Formal Log. (1997)

Keyphrases

significant improvement
computational cost
image processing
preprocessing
high dimensional data
machine learning methods
real time
data sets
learning algorithm
search engine
information systems
training data
relational databases
empirical studies