1411 search results - page 80 / 283 » Interactive Coding for Interactive Proofs |
112
click to vote
EUROCRYPT
2006
Springer
15 years 6 months ago
2006
Springer
Non-interactive zero-knowledge (NIZK) proof systems are fundamental cryptographic primitives used in many constructions, including CCA2-secure cryptosystems, digital signatures, an...
BMCBI
2004
15 years 2 months ago
2004
Background: There are two different theories about the development of the genetic code. Woese suggested that it was developed in connection with the amino acid repertoire, while C...
122
Voted
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract. Face detection (FD) is widely used in interactive user interfaces, in advertising industry, entertainment services, video coding, is necessary first stage for all face r...
93
Voted
WSC
1998
15 years 3 months ago
1998
This article presents the results of research to develop a descriptive model of firm-level productivity that will allow a myriad of factor interactions to be directly accounted fo...
123
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative...