Automated Complexity Proofs for Qualitative Spatial and Temporal Calculi.

Jochen Renz Jason Jingshi Li

Published in: KR (2008)

Keyphrases

spatial and temporal
spatio temporal
space time
video frames
spatial temporal
spatial context
spatial and temporal information
temporal correlation
qualitative spatial
computational complexity
theorem prover
temporal dimension
temporal dependencies
e learning
visual features
image derivatives