2032 search results - page 319 / 407 » Encodings of the Sequence Constraint |
140
click to vote
TIME
1994
IEEE
15 years 10 months ago
1994
IEEE
We are concerned with temporalreasoning problems where there is uncertainty about the order in which events occur. The task of temporal reasoning is to derive an event sequence co...
169
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
In this paper, we tackle the problem of object detection and tracking in a new and challenging domain of wide area surveillance. This problem poses several challenges: large camera...
199
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In the last decades, the Satisfiability and Constraint Satisfaction Problem frameworks were extended to integrate aspects such as uncertainties, partial observabilities, ...
164
click to vote
CODES
2001
IEEE
15 years 9 months ago
2001
IEEE
Power consumption is an important design parameter for embedded and portable systems. Software-controlled (or dynamic) power management (DPM) has recently emerged as an attractive...
147
click to vote
FAABS
2000
Springer
15 years 9 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...