Hyper Tableaux - The Third Version.

Shasha Feng Jigui Sun Xia Wu

Published in: KSEM (2006)

Keyphrases

databases
case study
search algorithm
lower bound
modal logic
database
data sets
machine learning
search engine
decision making
image processing
three dimensional
learning environment
object recognition
information technology
decision procedures