Brief Announcement: Space-Time Tradeoffs for Distributed Verification.

Mor Baruch Rafail Ostrovsky Will Rosenbaum

Published in: PODC (2016)

Keyphrases

space time
spatio temporal
spatial and temporal
video sequences
dynamic scenes
motion patterns
distributed systems
video representation
model checking
multiple view geometry
computer vision
interesting events
scan statistic
temporal domain
multiple cameras
three dimensional
multimedia