Time-and-Space-Efficient Weighted Deduction.

Published in: Trans. Assoc. Comput. Linguistics (2023)

Keyphrases

space efficient
data structure
data streams
sliding window
linear space
garbage collection
uncertain data streams
b tree
bloom filter
suffix array
range sum queries
theorem proving
inference rules
locality sensitive hashing