Boxes: A Symbolic Abstract Domain of Boxes.

Arie Gurfinkel Sagar Chaki

Published in: SAS (2010)

Keyphrases

high level
domain specific
domain independent
axis parallel
digital libraries
special case
case based reasoning
database
machine learning
computational complexity
knowledge representation
general purpose
knowledge acquisition
cross domain
connectionist models