Sciweavers

2612 search results - page 421 / 523
» Mobile Processes and Termination
Sort
View
APCCAS
2006
IEEE
245views Hardware» more  APCCAS 2006»
16 years 14 days 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
16 years 14 days 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»
16 years 13 days 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»
16 years 13 days 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
16 years 11 days 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 ...