Automatic Generation of Staged Geometric Predicates.

Aleksandar Nanevski Guy E. Blelloch Robert Harper

Published in: High. Order Symb. Comput. (2003)

Keyphrases

automatically generate
geometric reasoning
object recognition
user defined
data sets
databases
neural network
artificial intelligence
three dimensional
database systems
hidden markov models
geometric structure
computational geometry