Sciweavers

4934 search results - page 165 / 987
» complexity 2008
Sort
View
CORR
2008
Springer
113views Education» more  CORR 2008»
15 years 4 months ago
A Simple E-Voting Protocol
We propose an e-voting protocol that seems to allow citizens to verify that their vote has been accurately taken into account while preserving its secrecy, without requiring the u...
Frederic Connes
ICDIM
2008
IEEE
15 years 11 months ago
A fast approximate algorithm for large-scale Latent Semantic Indexing
Latent Semantic Indexing (LSI) is an effective method to discover the underlying semantic structure of data. It has numerous applications in information retrieval and data mining....
Dell Zhang, Zheng Zhu
CORR
2008
Springer
89views Education» more  CORR 2008»
15 years 4 months ago
Model Checking Positive Equality-free FO: Boolean Structures and Digraphs of Size Three
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
Barnaby Martin
ICRA
2008
IEEE
152views Robotics» more  ICRA 2008»
15 years 11 months ago
Stabilization algorithm for a high speed car-like robot achieving steering maneuver
— This paper deals with design and implementation of a stabilization algorithm for a car like robot performing high speed turns. The control of such a kind of system is rather di...
Eric Lucet, Christophe Grand, Damien Sallé,...
CRYPTO
2008
Springer
109views Cryptology» more  CRYPTO 2008»
15 years 6 months ago
Adaptive One-Way Functions and Applications
Abstract. We introduce new and general complexity theoretic hardumptions. These assumptions abstract out concrete properties of a random oracle and are significantly stronger than ...
Omkant Pandey, Rafael Pass, Vinod Vaikuntanathan