3028 search results - page 136 / 606 » Integrating Temporal Logics |
136
click to vote
ENTCS
2007
15 years 4 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
141
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
In this paper, a region-based spatio-temporal Markov random field (STMRF) model is proposed to segment moving objects semantically. The STMRF model combines segmentation results o...
179
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
134
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
—In this paper we present a system that integrates automatic camera geometry estimation and object detection from a Pan Tilt Zoom camera. We estimate camera pose with respect to ...
141
click to vote
IV
2005
IEEE
15 years 10 months ago
2005
IEEE
Dealing with temporal uncertainties is a key issue in domains like project management or medical treatment planning. However, support for temporal indeterminacies is not very well...