Automated Reasoning about Elementary Point-Set Topology.

Cynthia A. Wick William McCune

Published in: J. Autom. Reason. (1989)

Keyphrases

point sets
point correspondences
point cloud
pairwise
point pattern matching
distance function
convex hull
graph matching
point set registration
iterative closest point algorithm
closest points
affine registration
database systems
query processing
iterative closest point