Deiding Fixed and Non-fixed Size Bit-vectors.

Nikolaj BjørnerMark 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