3602 search results - page 18 / 721 » Isn't It About Time |
ICLP
2010
Springer
13 years 11 months ago
2010
Springer
This text gives an overview about my current research in timing analysis
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
Markerless tracking of human pose is a hard yet relevant problem. In this paper, we derive an efficient filtering algorithm for tracking human pose at 4-10 frames per second using...
ENTCS
2006
13 years 7 months ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...
MANSCI
2010
13 years 6 months ago
2010
This paper introduces time-tradeoff (TTO) sequences as a new tool to analyze time inconsistency and intertemporal choice. TTO sequences simplify the measurement of discount functio...
IJCAI
1989
13 years 8 months ago
1989
We consider the role played by the concept of action in AI. We first briefly summarize the advantages and limitations of past approaches to taking the concept as primitive, as emb...