Temporal Specifications with Accumulative Values.

Udi Boker Krishnendu Chatterjee Thomas A. Henzinger Orna Kupferman

Published in: ACM Trans. Comput. Log. (2014)

Keyphrases

spatio temporal
spatial and temporal
temporal information
motion detection
temporal data
temporal patterns
temporal constraints
database systems
temporal reasoning
temporal dimension
database
real numbers
temporal relations
pixel values
moving objects
high level
neural network