2203 search results - page 157 / 441 » Temporal Abstract Interpretation |
189
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
188
click to vote
LOGCOM
2010
15 years 1 months ago
2010
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...
321
click to vote
IJCV
2010
15 years 5 months ago
2010
We propose a novel approach to understanding
activities from their partial observations monitored through
multiple non-overlapping cameras separated by unknown time
gaps. In our...
224
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
This paper presents a novel method for estimating the geospatial trajectory of a moving camera with unknown intrinsic parameters, in a city-scale urban environment. The proposed m...
266
click to vote
ICDE
2001
IEEE
16 years 7 months ago
2001
IEEE
The timestamps of now-relative bitemporal databases are modeled as growing, shrinking, or rectangular regions. The shape of these regions makes it a challenge to design bitemporal...