Sciweavers

1610 search results - page 223 / 322
» A Transaction Model for Mobile Computing
Sort
View
109
Voted
BROADNETS
2006
IEEE
15 years 8 months ago
How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET
Secure routing protocols for mobile ad hoc networks have been developed recently, yet, it has been unclear what are the properties they achieve, as a formal analysis of these prot...
Panagiotis Papadimitratos, Zygmunt J. Haas, Jean-P...
126
Voted
HAIS
2008
Springer
15 years 3 months ago
Extraction of Geometrical Features in 3D Environments for Service Robotic Applications
Modeling environments with 3D feature based representations is a challenging issue in current mobile robotics. Fast and robust algorithms are required for applicability to navigati...
Paloma de la Puente, Diego Rodríguez-Losada...
MWCN
2004
Springer
15 years 8 months ago
The Receiver's Dilemma
In Mobile Ad Hoc Networks (MANETs), each node has the capacity to act as a router. The performance of the MANET relies on how well the nodes perform this function. In simulations,...
John P. Mullen, Timothy Matis, Smriti Rangan
138
Voted
IWANN
2001
Springer
15 years 7 months ago
Landmark Recognition for Autonomous Navigation Using Odometric Information and a Network of Perceptrons
In this paper two methods for the detection and recognition of landmarks to be used in topological modeling for autonomous mobile robots are presented. The first method is based o...
Javier de Lope Asiaín, Darío Maraval...
112
Voted
AAAI
1996
15 years 3 months ago
Motion and Color Analysis for Animat Perception
We propose novel gaze control algorithms for active perception in mobile autonomous agents with directable, foveated vision sensors. Our agents are realistic artificial animals, o...
Tamer F. Rabie, Demetri Terzopoulos