887 search results - page 159 / 178 » Representing Systems with Hidden State |
148
Voted
ECRTS
2009
IEEE
14 years 11 months ago
2009
IEEE
Performing QoS (Quality of Service) control in large computing systems requires an on line metric that is representative of the real state of the system. The Tardiness Quantile Me...
106
click to vote
AIMSA
2008
Springer
15 years 8 months ago
2008
Springer
An alternative way to tackle Information Retrieval, called Passage Retrieval, considers text fragments independently rather than assessing global relevance of documents. In such a ...
139
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
144
Voted
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Reinforcement learning problems are commonly tackled with temporal difference methods, which use dynamic programming and statistical sampling to estimate the long-term value of ta...
119
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
This paper considers the problem of performing decentralised coordination of low-power embedded devices (as is required within many environmental sensing and surveillance applicat...