Sciweavers

5447 search results - page 398 / 1090
» Environment-Mediated Mobile Computing
Sort
View
ICRA
2008
IEEE
138views Robotics» more  ICRA 2008»
16 years 1 months ago
Embedded auditory system for small mobile robots
— Auditory capabilities would allow small robots interacting with people to act according to vocal cues. In our recent work, we have demonstrated AUDIBLE, an auditory system capa...
Simon Brière, Jean-Marc Valin, Franç...
CVPR
2003
IEEE
16 years 9 months ago
Visual Landmarks Detection and Recognition for Mobile Robot Navigation
This article describes visual functions dedicated to the extraction and recognition of planar quadrangles detected from a single camera. Extraction is based on a relaxation scheme...
Frédéric Lerasle, Jean-Bernard Hayet...
PERCOM
2003
ACM
16 years 6 months ago
Splendor: A Secure, Private, and Location-Aware Service Discovery Protocol Supporting Mobile Services
In pervasive computing environments, powerful handheld devices with wireless connections create opportunities for many new nomadic applications. We propose a new service discovery...
Feng Zhu, Matt W. Mutka, Lionel M. Ni
APNOMS
2009
Springer
16 years 1 months ago
Group P2P Network Organization in Mobile Ad-Hoc Network
This paper proposes an effective file searching scheme named Group P2P to reduce the number of message transmission. In the Group P2P, peers distinguish Parent Peer from Child Peer...
Rim Haw, Choong Seon Hong, Dae Sun Kim
FMCO
2004
Springer
157views Formal Methods» more  FMCO 2004»
16 years 8 days ago
MoMo: A Modal Logic for Reasoning About Mobility
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
Rocco De Nicola, Michele Loreti