Automatic Synthesis of Temporal Invariants.

Sara Bernardini David E. Smith

Published in: SARA (2011)

Keyphrases

spatio temporal
spatial and temporal
data driven
real time
temporal evolution
data sets
color images
pose estimation
space time
semi automatic
fully automatic
temporal reasoning
temporal constraints
temporal databases
temporal dimension
imperative programs