Sciweavers

292 search results - page 54 / 59
» A New Approach for Mobile Localization in Multipath Scenario...
Sort
View
ECOOPW
1999
Springer
13 years 11 months ago
The Role of Trust Management in Distributed Systems Security
Existing authorization mechanisms fail to provide powerful and robust tools for handling security at the scale necessary for today's Internet. These mechanisms are coming unde...
Matt Blaze, Joan Feigenbaum, Angelos D. Keromytis
FOSSACS
2005
Springer
14 years 1 months ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
ICRA
2008
IEEE
125views Robotics» more  ICRA 2008»
14 years 2 months ago
Place recognition-based fixed-lag smoothing for environments with unreliable GPS
— Pose estimation of outdoor robots presents some distinct challenges due to the various uncertainties in the robot sensing and action. In particular, global positioning sensors ...
Roozbeh Mottaghi, Michael Kaess, Ananth Ranganatha...
IROS
2008
IEEE
100views Robotics» more  IROS 2008»
14 years 1 months ago
Using structures to synchronize cameras of robots swarms
— The synchronization of image sequences acquired by robots swarms is an essential task for localization operations. We address this problem by considering the swarms as dynamic ...
Richard Chang, Sio-Hoi Ieng, Ryad Benosman
LCN
2008
IEEE
14 years 1 months ago
Supporting geographical queries onto DHTs
Location-based services (LBS) are currently receiving world-wide attention as a consequence of the massive usage of mobile devices, but such location services require scalable dis...
Jordi Pujol Ahulló, Pedro García L&o...