Sciweavers

7064 search results - page 297 / 1413
» From States to Histories
Sort
View
CRYPTO
2009
Springer
150views Cryptology» more  CRYPTO 2009»
16 years 1 months ago
Short and Stateless Signatures from the RSA Assumption
We present the first signature scheme which is “short”, stateless and secure under the RSA assumption in the standard model. Prior short, standard model signatures in the RSA...
Susan Hohenberger, Brent Waters
ICPR
2008
IEEE
16 years 1 months ago
Dynamic structure from motion based on nonlinear adaptive observers
Structure and motion estimation from long image sequences is a an important and difficult problem in computer vision. We propose a novel approach based on nonlinear and adaptive ...
Ola Dahl, Anders Heyden
ISVD
2007
IEEE
16 years 1 months ago
From the Kneser-Poulsen conjecture to ball-polyhedra via Voronoi diagrams
A very fundamental geometric problem on finite systems of spheres was independently phrased by Kneser (1955) and Poulsen (1954). According to their well-known conjecture if a fi...
Károly Bezdek
ROMAN
2007
IEEE
110views Robotics» more  ROMAN 2007»
16 years 1 months ago
Does Disturbance Discourage People from Communicating with a Robot?
— We suggest that people’s responses to a robot of which attention starts to be distracted show whether they accept the robot as an intentional communication partner or not. Hu...
Claudia Muhl, Yukie Nagai
TPHOL
2003
IEEE
16 years 1 days ago
Program Extraction from Large Proof Developments
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
Luís Cruz-Filipe, Bas Spitters