axiom and other separation properties in constructive point-free and point-set topology.

Peter Aczel Giovanni Curi

Published in: Ann. Pure Appl. Log. (2010)

Keyphrases

point sets
closest points
point cloud
point correspondences
pairwise
boundary points
point pattern matching
graph matching
registration parameters
point set registration
iterative closest point algorithm
nearest neighbor searching
convex hull
distance function
dimensionality reduction
point pairs
neural network