162 search results - page 28 / 33 » The Logic of Time Structures: Temporal and Nonmonotonic Feat... |
ML
2011
ACM
13 years 5 months ago
2011
ACM
Abstract. Type Extension Trees (TET) have been recently introduced as an expressive representation language allowing to encode complex combinatorial features of relational entities...
AOSD
2007
ACM
14 years 2 months ago
2007
ACM
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
JAIR
2008
13 years 11 months ago
2008
We present exact algorithms for identifying deterministic-actions' effects and preconditions in dynamic partially observable domains. They apply when one does not know the ac...
ACCV
2007
Springer
14 years 5 months ago
2007
Springer
This work achieves an efficient acquisition of scenes and their depths along long streets. A camera is mounted on a vehicle moving along a path and a sampling line properly set in ...
IPPS
2005
IEEE
14 years 4 months ago
2005
IEEE
The scheduler is a key component in determining the overall performance of a parallel computer, and as we show here, the schedulers in wide use today exhibit large unexplained gap...