5216 search results - page 931 / 1044 » Planning as Model Checking |
133
click to vote
AIED
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we describe progress we have made toward providing cognitive tutoring to students within a collaborative software environment. First, we have integrated a collaborat...
141
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
One of the difficulties to adapt MDPs for the control of cooperative multi-agent systems, is the complexity issued from Decentralized MDPs. Moreover, existing approaches can not ...
114
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We present here Extended Markov Tracking (EMT), a computationally tractable method for the online estimation of Markovian system dynamics, along with experimental support for its ...
157
click to vote
ECML
2005
Springer
15 years 9 months ago
2005
Springer
Partially Observable Markov Decision Processes (POMDP) provide a standard framework for sequential decision making in stochastic environments. In this setting, an agent takes actio...
140
click to vote
ESWS
2005
Springer
15 years 9 months ago
2005
Springer
Business models on the basis of digital content require sophisticated descriptions of that content, as well as service-oriented carrier architectures that allow to negotiate and en...