Combining Spatial and Temporal Logics: Expressiveness vs. Complexity

David Gabelaia Roman Kontchakov Agi Kurucz Frank Wolter Michael Zakharyaschev

Published in: CoRR (2011)

Keyphrases

spatial and temporal
expressive power
spatio temporal
space time
spatial temporal
video frames
spatial context
crowded scenes
computer vision
modal logic
temporal domain
temporal dimension
multimedia
temporal segmentation
image sequences
temporal correlation
dynamic textures
three dimensional
temporal dependencies