4870 search results - page 178 / 974 » Construction of Wavelets and Applications |
152
click to vote
CCS
2001
ACM
15 years 10 months ago
2001
ACM
We present a mathematical construct which provides a cryptographic protocol to verifiably shuffle a sequence of k modular integers, and discuss its application to secure, universa...
168
click to vote
FOCS
2006
IEEE
16 years 17 days ago
2006
IEEE
We study compression that preserves the solution to an instance of a problem rather than preserving the instance itself. Our focus is on the compressibility of NP decision problem...
154
click to vote
SIGADA
2005
Springer
16 years 7 min ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
183
click to vote
EUROCRYPT
2001
Springer
15 years 11 months ago
2001
Springer
We formalize the notion of a cryptographic counter, which allows a group of participants to increment and decrement a cryptographic representation of a (hidden) numerical value pri...
190
click to vote
STACS
2007
Springer
16 years 19 days ago
2007
Springer
The min-sum k-clustering problem is to partition a metric space (P, d) into k clusters C1, . . . , Ck ⊆ P such that k i=1 p,q∈Ci d(p, q) is minimized. We show the first effi...