Login / Signup
Deiding Fixed and Non-fixed Size Bit-vectors.
Nikolaj Bjørner
Mark C. Pichora
Published in:
TACAS (1998)
Keyphrases
</>
fixed size
bit vectors
variable size
sliding window
bit vector
window size
small image patches
locality sensitive hashing
hash table
reservoir sampling
data streams