3831 search results - page 199 / 767 » Dynamic Context Logic |
146
Voted
AAAI
2012
13 years 7 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 ...
140
click to vote
ISLPED
2003
ACM
15 years 9 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...
134
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
162
Voted
ILP
2007
Springer
15 years 10 months ago
2007
Springer
In this chapter, we describe a view of statistical learning in the inductive logic programming setting based on kernel methods. The relational representation of data and background...
124
click to vote
ISMIS
2003
Springer
15 years 9 months ago
2003
Springer
We discuss how mobile agents, moving in the Internet from node to node, can communicate with each other by forwarding messages in a robust way. As a solution, we present the genera...