Sciweavers

4596 search results - page 782 / 920
» Mobile Business Processes
Sort
View
ICRA
2006
IEEE
134views Robotics» more  ICRA 2006»
14 years 3 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 2 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 ...
ETFA
2005
IEEE
14 years 2 months ago
A multi-robot system for landmine detection
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 ...
Pedro Santana, José Barata, H. Cruz, A. Mes...
ICRA
2005
IEEE
145views Robotics» more  ICRA 2005»
14 years 2 months ago
Modeling the Static and the Dynamic Parts of the Environment to Improve Sensor-based Navigation
— This paper addresses the modeling of the static and dynamic parts of the scenario and how to use this information within a real sensor-based navigation system. The contribution...
Luis Montesano, Javier Minguez, Luis Montano
MM
2005
ACM
126views Multimedia» more  MM 2005»
14 years 2 months ago
Facilitating collective musical creativity
We present two projects that facilitate collective music creativity over networks. One system is a participative social music system on mobile devices. The other is a collaborativ...
Atau Tanaka, Nao Tokui, Ali Momeni