Sciweavers

732 search results - page 66 / 147
» Periodicity-Based Temporal Constraints
Sort
View
AAMAS
1999
Springer
13 years 9 months ago
Verifying Compliance with Commitment Protocols
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
Mahadevan Venkatraman, Munindar P. Singh
ECAI
2010
Springer
13 years 8 months ago
LTL Goal Specifications Revisited
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...
Andreas Bauer 0002, Patrik Haslum
3DIM
2011
IEEE
12 years 10 months ago
Space-Time Body Pose Estimation in Uncontrolled Environments
—We propose a data-driven, multi-view body pose estimation algorithm for video. It can operate in uncontrolled environments with loosely calibrated and low resolution cameras and...
Marcel Germann, Tiberiu Popa, Remo Ziegler, Richar...
CVPR
2004
IEEE
15 years 1 days ago
A Unified Spatio-Temporal Articulated Model for Tracking
Tracking articulated objects in image sequences remains a challenging problem, particularly in terms of the ability to localize the individual parts of an object given selfocclusi...
Xiangyang Lan, Daniel P. Huttenlocher
KI
2005
Springer
14 years 3 months ago
Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs
To reason about geographical objects, it is not only necessary to have more or less complete information about where these objects are located in space, but also how they can chang...
Marco Ragni, Stefan Wölfl