Simple Saturated Sets for Disjunction and Second-Order Existential Quantification.

Published in: TLCA (2007)

Keyphrases

higher order
highly reliable
data mining
information systems
decision trees
high order
real time
computer vision
feature selection
website
similarity measure
query answering