846 search results - page 3 / 170 » On the Computational Complexity of Spatio-Temporal Logics |
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
We present two novel methods to automatically learn spatio-temporal dependencies of moving agents in complex dynamic scenes. They allow to discover temporal rules, such as the rig...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— As for today, radio spectrum resource is rigidly partitioned for dedicated purposes. The exclusive license of fixed size spectrum blocks separated by guard bands easily solves...
TCSV
2011
13 years 2 months ago
2011
—We present in this paper an integrated solution to rapidly recognizing dynamic objects in surveillance videos by exploring various contextual information. This solution consists...
SIGMOD
2005
ACM
14 years 28 days ago
2005
ACM
In this paper, we propose new graph-based data structure and indexing to organize and retrieve video data. Several researches have shown that a graph can be a better candidate for...
TARK
2009
Springer
14 years 1 months ago
2009
Springer
The logical omniscience feature assumes that an epistemic agent knows all logical consequences of her assumptions. This paper offers a general theoretical framework that views log...