3028 search results - page 88 / 606 » Integrating Temporal Logics |
ICPR
2000
IEEE
14 years 11 months ago
2000
IEEE
This paper1 describes a method for tracking regions in image sequences. Regions segmented from each frame by a motion segmentation technique are matched by using a relaxation proc...
TCSV
2011
13 years 5 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...
COLING
2008
13 years 11 months ago
2008
We propose a spatio-temporal markup for the annotation of motion predicates in text, informed by a lexical semantic classification of these verbs. We incorporate this classificati...
AAAI
2007
14 years 11 days ago
2007
We develop a formal theory of mereology that includes relations that change over time. We show how this theory formalizes reasoning over domains of material objects, which include...
JUCS
2010
13 years 8 months ago
2010
: Information Systems usually rely on external and independent data sources. When integrating the data to build the integrated repository it is possible to make use of the temporal...