Formalization of Integral Linear Space.

Yuichi Futa Hiroyuki Okazaki Yasunari Shidama

Published in: Formaliz. Math. (2011)

Keyphrases

linear space
space efficient
external memory
nearest neighbor search
arbitrary shape
locality sensitive hashing
databases
clustering algorithm
similarity measure
feature space