2272 search results - page 410 / 455 » Validity Invariants and Effects |
ICDM
2006
IEEE
14 years 4 months ago
2006
IEEE
Technologies that use the Internet network to deliver voice communications have the potential to reduce costs and improve access to communications services around the world. Howev...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
—Traditionally, simultaneous localization and mapping (SLAM) algorithms solve the localization and mapping problem in explored regions. This paper presents a prediction-based SLA...
IEEEPACT
2006
IEEE
14 years 4 months ago
2006
IEEE
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
— Opportunistic spectrum access and adaptive power management are effective techniques to improve throughput, delay performance, and energy efficiency for wireless networks. In ...
IROS
2006
IEEE
14 years 4 months ago
2006
IEEE
— We propose a vision-based inertial system that overcomes the problems associated with slow update rates in navigation systems based on high-resolution cameras. Due to bandwidth...