423 search results - page 74 / 85 » Multi-objective Model Checking of Markov Decision Processes |
157
click to vote
GLOBECOM
2007
IEEE
16 years 5 days ago
2007
IEEE
—We consider the situation where N nodes share a common access point. With each node i there is an associated buffer and channel state that change in time. Node i dynamically cho...
164
click to vote
FSR
2003
Springer
15 years 11 months ago
2003
Springer
We describe a mobile robot system, designed to assist residents of an retirement facility. This system is being developed to respond to an aging population and a predicted shortage...
156
click to vote
IPPS
2002
IEEE
15 years 10 months ago
2002
IEEE
A bulk synchronous computation proceeds in phases that are separated by barrier synchronization. For dynamic bulk synchronous computations that exhibit varying phase-wise computat...
143
click to vote
EENERGY
2010
15 years 9 months ago
2010
Sleeping is an important method to reduce energy consumption in many information and communication systems. In this paper we focus on a typical server under dynamic load, where en...
176
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Decentralized reinforcement learning (DRL) has been applied to a number of distributed applications. However, one of the main challenges faced by DRL is its convergence. Previous ...