Sciweavers

5344 search results - page 207 / 1069
» Privacy-Preserving Set Operations
Sort
View
164
Voted
EUROCRYPT
2011
Springer
14 years 7 months ago
Homomorphic Signatures for Polynomial Functions
We construct the first homomorphic signature scheme that is capable of evaluating multivariate polynomials on signed data. Given the public key and a signed data set, there is an...
Dan Boneh, David Mandell Freeman
174
Voted
ICLA
2011
Springer
14 years 7 months ago
A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
Ernst-Erich Doberkat
138
Voted
POPL
2012
ACM
13 years 11 months ago
Algebraic foundations for effect-dependent optimisations
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
Ohad Kammar, Gordon D. Plotkin
131
Voted
SIGMOD
2003
ACM
129views Database» more  SIGMOD 2003»
16 years 3 months ago
Efficient Processing of Joins on Set-valued Attributes
Object-oriented and object-relational DBMS support setvalued attributes, which are a natural and concise way to model complex information. However, there has been limited research...
Nikos Mamoulis
130
Voted
GLOBECOM
2008
IEEE
15 years 10 months ago
Lowering LDPC Error Floors by Postprocessing
−A class of combinatorial structures, called absorbing sets, strongly influences the performance of low-density paritycheck (LDPC) decoders at low error rates. Past experiments h...
Zhengya Zhang, Lara Dolecek, Borivoje Nikolic, Ven...