Sign in

Automatic Generation of Staged Geometric Predicates.

Aleksandar NanevskiGuy E. BlellochRobert Harper
Published in: ICFP (2001)
Keyphrases
  • databases
  • user defined
  • geometric structure
  • automatically generate
  • data mining
  • digital libraries
  • mobile robot
  • boolean expressions
  • geometric reasoning