Hashing LEMMAs on time complexities with applications to formula manipulation.

Eiichi Goto Yasumasa Kanada

Published in: SYMSACC (1976)

Keyphrases

order preserving
data structure
video copy detection
hash tables
file organization
nearest neighbor search
hash functions
theorem proving
theorem prover
image reconstruction
neural network
locality sensitive
locality sensitive hashing
hash table
similarity search
nearest neighbor
special case