450 search results - page 7 / 90 » Algorithmic uses of the Feferman-Vaught Theorem |
CCS
2004
ACM
14 years 26 days ago
2004
ACM
We study a countermeasure proposed to protect Chinese remainder theorem (CRT) computations for RSA against fault attacks. The scheme was claimed to be provably secure. However, we...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents an information theoretic perspective on design and analysis of evolutionary algorithms. Indicators of solution quality are developed and applied not only to in...
ICIP
1997
IEEE
14 years 9 months ago
1997
IEEE
A novel method unifying viewer and model centered approaches for representing structurally complex 3-D objects like human faces is presented. The uni ed 3D frequency-domain repres...
ECP
1997
Springer
13 years 11 months ago
1997
Springer
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
ACCV
2006
Springer
14 years 1 months ago
2006
Springer
An occluding contour of a sphere is projected to a conic in the perspective image, and such a conic is called a sphere image. Recently, it has been discovered that each sphere imag...