6251 search results - page 1112 / 1251 » Randomness, Computability, and Density |
142
click to vote
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
We investigate flow rate optimization on a wireless link with randomly varying channel gain using techniques from adaptive modulation and network utility maximization. We consider ...
128
Voted
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
The iterative closest points (ICP) algorithm is widely used for ego-motion estimation in robotics, but subject to bias in the presence of outliers. We propose a random sample conse...
155
click to vote
TAP
2010
Springer
15 years 1 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
171
click to vote
GLOBECOM
2009
IEEE
15 years 1 months ago
2009
IEEE
Primary user emulation attack in multichannel cognitive radio systems is discussed. An attacker is assumed to be able to send primary-user-like signals during spectrum sensing peri...
165
click to vote
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
We investigate energy allocation strategies in image sensor networks for the purpose of maximizing the network operational lifetime. For the application scenarios that we consider...