2632 search results - page 340 / 527 » Predictive Representations of State |
160
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
196
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Iterative shrinkage of sparse and redundant representations are at the heart of many state of the art denoising and deconvolution algorithms. They assume the signal is well approx...
151
click to vote
P2P
2009
IEEE
16 years 1 months ago
2009
IEEE
The peer-to-peer paradigm shows the potential to provide the same functionality and quality like client/server based systems, but with much lower costs. In order to control the qu...
132
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—This paper presents Cramér-Rao bound-like inequalities for pose tracking, which is defined as the problem of recovering the robot displacement given two successive rea...
148
click to vote
AUSAI
2009
Springer
16 years 1 months ago
2009
Springer
We extend a recent approach to integrate action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an action theory as internal world model t...