Prefilter: predicate pushdown at streaming speeds.

Lukasz Golab Theodore Johnson Oliver Spatscheck

Published in: SSPS (2008)

Keyphrases

data streams
streaming data
model checking
high speed
real time streaming
real time
filter bank
discrete cosine transform
first order logic
video streaming
stream processing
continuous stream
sliding window
frequency domain
datalog programs
scalable video
streaming video
logic rules
image processing