875 search results - page 23 / 175 » Reasoning about Knowledge and Continuity |
106
click to vote
DIS
2006
Springer
15 years 5 months ago
2006
Springer
Paleoclimatology requires the analysis of paleo time-series, obtained from a number of independent techniques and instruments, produced by several researchers and/or laboratories. ...
102
click to vote
SWARM
2008
SPRINGER
15 years 1 months ago
2008
SPRINGER
Designing and analyzing self-organizing systems such as robotic swarms is a challenging task even though we have complete knowledge about the robot's interior. It is difficul...
105
click to vote
HYBRID
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
119
click to vote
IJCAI
1989
15 years 3 months ago
1989
Mechanical systems, of the kinds which are of interest for qualitative reasoning, are characterized by a set of real-valued parameters, each of which is a piecewise continuous fun...
116
click to vote
ICANN
2010
Springer
15 years 2 months ago
2010
Springer
We propose a new approach for reinforcement learning in problems with continuous actions. Actions are sampled by means of a diffusion tree, which generates samples in the continuou...