1902 search results - page 132 / 381 » Differential Dynamic Logics |
220
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
190
click to vote
AAAI
2012
13 years 9 months ago
2012
Goal recognition in digital games involves inferring players’ goals from observed sequences of low-level player actions. Goal recognition models support player-adaptive digital ...
158
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
We consider the task of learning to accurately follow a trajectory in a vehicle such as a car or helicopter. A number of dynamic programming algorithms such as Differential Dynami...
175
click to vote
ISLPED
2003
ACM
15 years 12 months ago
2003
ACM
This paper develops a technique that uniquely combines the advantages of static scheduling and dynamic scheduling to reduce the energy consumed in modern superscalar processors wi...
204
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The ambition of most molecular biologists is the understanding of the intricate network of molecular interactions that control biological systems. As scientists uncove...