Sciweavers

2196 search results - page 247 / 440
» Practical Reasoning Using Values
Sort
View
ICRA
2006
IEEE
127views Robotics» more  ICRA 2006»
14 years 3 months ago
Consistency of the FastSLAM Algorithm
— This paper presents an analysis of FastSLAM— a Rao-Blackwellised particle filter formulation of simultaneous localisation and mapping. It shows that the algorithm degenerate...
Tim Bailey, Juan Nieto, Eduardo Mario Nebot
PLDI
2006
ACM
14 years 3 months ago
An experimental analysis of self-adjusting computation
Dependence graphs and memoization can be used to efficiently update the output of a program as the input changes dynamically. Recent work has studied techniques for combining the...
Umut A. Acar, Guy E. Blelloch, Matthias Blume, Kan...
ASIACRYPT
2006
Springer
14 years 1 months ago
On the Provable Security of an Efficient RSA-Based Pseudorandom Generator
Pseudorandom Generators (PRGs) based on the RSA inversion (one-wayness) problem have been extensively studied in the literature over the last 25 years. These generators have the a...
Ron Steinfeld, Josef Pieprzyk, Huaxiong Wang
AAAI
2006
13 years 10 months ago
Weighted Constraint Satisfaction with Set Variables
Set variables are ubiquitous in modeling (soft) constraint problems, but efforts on practical consistency algorithms for Weighted Constraint Satisfaction Problems (WCSPs) have onl...
J. H. M. Lee, C. F. K. Siu
IJNSEC
2006
113views more  IJNSEC 2006»
13 years 9 months ago
An Identity-based Mediated Signature Scheme from Bilinear Pairing
It has always been a critical issue to find efficient methods for fast revocation of a user's identity in identity (ID)based cryptosystems. Unfortunately, none of the previou...
Xiangguo Cheng, Lifeng Guo, Xinmei Wang