1512 search results - page 153 / 303 » connection 2006 |
179
click to vote
CSL
2006
Springer
15 years 9 months ago
2006
Springer
A complete and decidable propositional logic for reasoning about states of probabilistic sequential programs is presented. The state logic is then used to obtain a sound Hoare-styl...
145
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
We present an approach for recovery from perceptual failures, or more precisely anchoring failures. Anchoring is the problem of connecting symbols representing objects to sensor da...
128
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
We consider groups of autonomous robots in which robots can help each other by offering information-producing functionalities. A functional configuration is a way to allocate and c...
161
click to vote
ECTEL
2006
Springer
15 years 9 months ago
2006
Springer
We propose a mediator architecture that allows a learning system to retrieve learning objects from heterogeneous repositories. A mediating component accepts queries formulated in a...
164
click to vote
ECTEL
2006
Springer
15 years 9 months ago
2006
Springer
This paper describes a service-oriented approach for the integration of third-party external applications and resources into an existing open source eLearning environment. We detai...