(Nearest) Neighbors You Can Rely On: Formally Verified k-d Tree Construction and Search in Coq.

Nadeem Abdul Hamid

Published in: SAC (2024)

Keyphrases

tree construction
nearest neighbor
nearest neighbor search
search algorithm
decision trees
r tree
spatial data
reverse nearest neighbor
information retrieval
data analysis
high dimensional
search space
structured data
pattern matching
exhaustive search