5344 search results - page 170 / 1069 » Privacy-Preserving Set Operations |
101
click to vote
ENTCS
2006
15 years 3 months ago
2006
nary abstract) Jan Friso Groote 1 MohammadReza Mousavi 2 Michel A. Reniers 3 Department of Computer Science, Eindhoven University of Technology (TU/e), P.O. Box 513, NL-5600 MB Ein...
112
click to vote
PPDP
2010
Springer
15 years 1 months ago
2010
Springer
Control operators for delimited continuations are useful in various fields such as partial evaluation, CPS translation, and representation of monadic effects. While many works in...
120
click to vote
SIGOPS
2010
15 years 1 months ago
2010
The file system is one of the most critical components of the operating system. Almost all applications running in the operating system require file systems to be available for ...
122
Voted
STOC
2005
ACM
16 years 3 months ago
2005
ACM
We construct an efficient probabilistic algorithm that, given a finite set with a binary operation, tests if it is an abelian group. The distance used is an analogue of the edit d...
134
Voted
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...