3629 search results - page 366 / 726 » A More Efficient Use of Delta-CRLs |
201
click to vote
JAR
2006
15 years 6 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
165
click to vote
ASAP
2009
IEEE
15 years 10 months ago
2009
IEEE
An implementation of a radix-4 approximate squaring circuit is described employing a new operand dual recoding technique. Approximate squaring circuits have numerous applications ...
187
click to vote
VG
2001
15 years 8 months ago
2001
In this paper we describe an efficient approach to add shadows to volumetric scenes. The light emitted by the lightsource is properly attenuated by the intervening volumetric struc...
147
Voted
IWANN
1999
Springer
15 years 11 months ago
1999
Springer
Abstract: Support vector machines (SVMs) are primarily designed for 2-class classification problems. Although in several papers it is mentioned that the combination of K SVMs can b...
181
click to vote
EUROCRYPT
2000
Springer
15 years 10 months ago
2000
Springer
Cryptography is more and more concerned with elaborate protocols involving many participants. In some cases, it is crucial to be sure that players behave fairly especially when the...