2661 search results - page 470 / 533 » Model Checking Performability Properties |
162
click to vote
GLOBECOM
2009
IEEE
16 years 27 days 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...
136
click to vote
ICRA
2009
IEEE
16 years 24 days 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...
176
click to vote
INFOCOM
2009
IEEE
16 years 24 days 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...
170
click to vote
INFOCOM
2009
IEEE
16 years 24 days 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 ...
143
click to vote
IROS
2009
IEEE
16 years 24 days 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...