Sciweavers

371 search results - page 21 / 75
» Expanders In Group Algebras
Sort
View
CRYPTO
2008
Springer
186views Cryptology» more  CRYPTO 2008»
15 years 7 months ago
Communication Complexity in Algebraic Two-Party Protocols
In cryptography, there has been tremendous success in building various two-party protocols with small communication complexity out of homomorphic semantically-secure encryption sc...
Rafail Ostrovsky, William E. Skeith III
ERSA
2006
129views Hardware» more  ERSA 2006»
15 years 6 months ago
Group-Alignment based Accurate Floating-Point Summation on FPGAs
Floating-point summation is one of the most important operations in scientific/numerical computing applications and also a basic subroutine (SUM) in BLAS (Basic Linear Algebra Sub...
Chuan He, Guan Qin, Mi Lu, Wei Zhao
RTA
2005
Springer
15 years 10 months ago
The Algebra of Equality Proofs
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
Aaron Stump, Li-Yang Tan
ICPR
2006
IEEE
16 years 6 months ago
Generic Detection of Multi-Part Objects
A method is proposed to detect multi-part man-made or natural objects in complex images. It consists in first extracting simple curves and straight lines from the edge map. Then, ...
Jean-Francois Bernier, Robert Bergevin
CRV
2006
IEEE
114views Robotics» more  CRV 2006»
15 years 11 months ago
Generic Detection of Multi-Part Objects by High-Level Analysis
A method is proposed to detect multi-part man-made or natural objects in complex images. It consists in first extracting simple curves and straight lines from the edge map. Then,...
Jean-Francois Bernier, Robert Bergevin