Sciweavers

2612 search results - page 421 / 523
» Mobile Processes and Termination
Sort
View
APCCAS
2006
IEEE
245views Hardware» more  APCCAS 2006»
14 years 4 months ago
Digital Audio Broadcasting System Modeling and Hardware Implementation
— DAB is a growing communication technology for digital audio broadcasting and demands higher concentration on flexible and cost optimum implementations for use in new mobile ele...
Nariman Moezzi Madani, Hamed Holisaz, Seid Mehdi F...
GLOBECOM
2006
IEEE
14 years 4 months ago
Group-Based Block Linear Successive Interference Cancellation For DS-CDMA
— 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...
Benoit Pelletier, Benoît Champagne
ICRA
2006
IEEE
95views Robotics» more  ICRA 2006»
14 years 4 months ago
View Planning for Automated Site Modeling
— 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 ...
Paul Blaer, Peter K. Allen
ICRA
2006
IEEE
134views Robotics» more  ICRA 2006»
14 years 4 months ago
Hierarchical Map Building and Planning based on Graph Partitioning
— 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...
Zoran Zivkovic, Bram Bakker, Ben J. A. Kröse
APLAS
2006
ACM
14 years 4 months ago
Computational Secrecy by Typing for the Pi Calculus
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 ...
Martín Abadi, Ricardo Corin, Cédric ...