Automatic Generation of Staged Geometric Predicates.

Aleksandar Nanevski Guy E. Blelloch Robert Harper

Published in: ICFP (2001)

Keyphrases

databases
user defined
geometric structure
automatically generate
data mining
digital libraries
mobile robot
boolean expressions
geometric reasoning