504 search results - page 28 / 101 » Observational Logic |
132
click to vote
AAAI
2012
13 years 5 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 ...
137
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
128
click to vote
UAI
2008
15 years 4 months ago
2008
Approximate inference in dynamic systems is the problem of estimating the state of the system given a sequence of actions and partial observations. High precision estimation is fu...
103
click to vote
DIAGRAMS
2008
Springer
15 years 4 months ago
2008
Springer
We are interested in developing a better understanding of what it is that students find difficult in learning logic. We use both natural language and diagram-based methods for teac...
113
click to vote
ICCAD
2008
IEEE
15 years 9 months ago
2008
IEEE
— To save power consumption, it has been shown that the clock signal can be gated without changing the functionality under certain clock-gating conditions. We observe that the cl...