2243 search results - page 344 / 449 » Contracts for Mobile Processes |
148
click to vote
GLOBECOM
2006
IEEE
16 years 13 days ago
2006
IEEE
— Mobile communication systems based on DS-CDMA suffer from multiple access interference (MAI), which limits the system capacity. Several techniques, such as beamforming with mul...
147
click to vote
ICRA
2006
IEEE
16 years 12 days ago
2006
IEEE
— We present a systematic method for constructing 3-D models of large outdoor sites. The method is designed for a mobile robot platform and incorporates automated acquisition of ...
153
click to vote
ICRA
2006
IEEE
16 years 12 days ago
2006
IEEE
— Mobile robot localization and navigation requires a map - the robot’s internal representation of the environment. A common problem is that path planning becomes very ineffic...
157
click to vote
APLAS
2006
ACM
16 years 11 days ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
151
click to vote
ETFA
2005
IEEE
16 years 38 min ago
2005
IEEE
This paper describes the development of a multi-robot system for Area Reduction in Humanitarian Demining. In spite of the specific requirements imposed to the work being carried ...