12741 search results - page 347 / 2549 » Editorial and call for papers |
172
Voted
BMVC
2010
15 years 4 months ago
2010
It is well known that, due to illumination effects and the registration/alignment problem, it does not make sense to compare the "values" of two single-pixels for face r...
123
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including impl...
190
Voted
ICALT
2010
IEEE
15 years 4 months ago
2010
IEEE
We propose in this paper a new method to compute indicators based on models transformations. We use the concept of modeled trace and trace-based system to design an indicator. We u...
249
click to vote
INDOCRYPT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper we present a new statistical cryptanalytic technique that we call improbable differential cryptanalysis which uses a differential that is less probable when...
195
click to vote
IWSEC
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents efficient secure auction protocols for first price auction and second price auction. Previous auction protocols are based on a generally secure multi-party prot...