91 search results - page 18 / 19 » Magnifying-Lens Abstraction for Markov Decision Processes |
161
click to vote
VTC
2008
IEEE
16 years 10 days ago
2008
IEEE
Abstract— In this paper, we propose a way of achieving optimality in radio resource management (RRM) for heterogeneous networks. We consider a micro or femto cell with two co-loc...
190
click to vote
ROBOCUP
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. Two main challenges of robot action planning in real domains are uncertain action effects and dynamic environments. In this paper, an instance-based action model is lear...
191
click to vote
QEST
2006
IEEE
15 years 12 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
151
click to vote
CISS
2008
IEEE
16 years 13 days ago
2008
IEEE
Abstract—We consider adapting the transmission rate to maximize the goodput, i.e., the amount of data transmitted without error, over a continuous Markov flat-fading wireless ch...
156
click to vote
QEST
2007
IEEE
16 years 7 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...