Taming Modal Impredicativity: Superlazy Reduction.

Ugo Dal Lago Luca Roversi Luca Vercelli

Published in: LFCS (2009)

Keyphrases

modal logic
three dimensional
reduction method
computer vision
database systems
multiscale
attribute reduction
database
real time
decision trees
pattern recognition
significant improvement
random walk