3909 search results - page 609 / 782 » Extreme Model Checking |
216
click to vote
WD
2010
15 years 4 months ago
2010
It has long been known that adaptive beamforming has the potential to enhance the performance of wireless ad hoc networks significantly. However, due to the decentralized nature of...
190
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Recent results have suggested that online Model Predictive Control (MPC) can be computed quickly enough to control fast sampled systems. High-speed applications impose a hard real-...
198
click to vote
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
A unified framework to jointly solve the two problems of localization and synchronization at the same time is presented in this paper. The joint approach is attractive because it ...
170
click to vote
ICMLA
2009
15 years 4 months ago
2009
Detecting impending failure of hard disks is an important prediction task which might help computer systems to prevent loss of data and performance degradation. Currently most of t...
176
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
Mapping opaque and confined environments such as caves and pipes is a challenging problem for mobile robots because sensor information is severely limited to the immediate proximit...