2661 search results - page 470 / 533 » Model Checking Performability Properties |
GLOBECOM
2009
IEEE
14 years 4 months ago
2009
IEEE
— We propose and analyze a novel decentralized mechanism that motivates otherwise non-cooperative stations to participate as relays in cooperative ARQ protocol. Cooperation incen...
ICRA
2009
IEEE
14 years 4 months ago
2009
IEEE
— This paper addresses two key limitations of the unscented Kalman filter (UKF) when applied to the simultaneous localization and mapping (SLAM) problem: the cubic, in the numbe...
INFOCOM
2009
IEEE
14 years 4 months ago
2009
IEEE
—In this paper we study the distributed multi-channel power allocation for spectrum sharing cognitive radio networks with QoS guarantee. We formulate this problem as a noncoopera...
INFOCOM
2009
IEEE
14 years 4 months ago
2009
IEEE
—With the power consumption issue of mobile handset taken into account, Single-carrier FDMA (SC-FDMA) has been selected for 3GPP Long-Term Evolution (LTE) uplink multiple access ...
IROS
2009
IEEE
14 years 4 months ago
2009
IEEE
—This study attempts to make a compact humanoid robot acquire a giant-swing motion without any robotic models by using reinforcement learning; only the interaction with environme...