4962 search results - page 835 / 993 » Stochastic Model Checking |
QUESTA
2010
13 years 6 months ago
2010
Motivated by scheduling in cellular wireless networks and resource allocation in computer systems, we study a service facility with two classes of users having heterogeneous servi...
TCOM
2010
13 years 6 months ago
2010
Abstract—This paper considers an uplink time division multiple access (TDMA) cognitive radio network where multiple cognitive radios (secondary users) attempt to access a spect...
COLT
2010
Springer
13 years 6 months ago
2010
Springer
We consider the problem of planning in a stochastic and discounted environment with a limited numerical budget. More precisely, we investigate strategies exploring the set of poss...
GLOBECOM
2010
IEEE
13 years 6 months ago
2010
IEEE
In smart grid, a home appliance can adjust its power consumption level according to the realtime power price obtained from communication channels. Most studies on smart grid do not...
ICPR
2010
IEEE
13 years 6 months ago
2010
IEEE
Unlike most previous manifold-based data classification algorithms assume that all the data points are on a single manifold, we expect that data from different classes may reside ...