Login / Signup

Verifying a Realistic Mutable Hash Table - Case Study (Short Paper).

Samuel ChassotViktor Kuncak
Published in: IJCAR (1) (2024)
Keyphrases
  • hash table
  • case study
  • hash tables
  • hash functions
  • linear hashing
  • data structure
  • locality sensitive hashing
  • indexing methods
  • multimedia
  • block size
  • video sequences
  • similarity search