Sound Computational Interpretation of Formal Hashes.

Flavio D. Garcia Peter van Rossum

Published in: IACR Cryptol. ePrint Arch. (2006)

Keyphrases

formal model
locality sensitive hashing
formal models
machine learning
high level
multiscale
principal component analysis
random projections
semantic interpretation
mathematical theory
ctl model update