5196 search results - page 290 / 1040 » State of Application Assessment |
170
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
A major challenge in efficiently solving distributed resource allocation problems is to cope with the dynamic state changes that characterise such systems. An effective solution t...
204
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
164
click to vote
IIE
2007
15 years 6 months ago
2007
We investigate the possibility to apply a known machine learning algorithm of Q-learning in the domain of a Virtual Learning Environment (VLE). It is important in this problem doma...
244
click to vote
PKDD
2010
Springer
15 years 4 months ago
2010
Springer
Partially observable Markov decision processes (POMDPs) are widely used for planning under uncertainty. In many applications, the huge size of the POMDP state space makes straightf...
180
click to vote
AI
2011
Springer
15 years 1 months ago
2011
Springer
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...