2272 search results - page 158 / 455 » A Calculus for |
117
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
We want assurances that sensitive information will not be disclosed when aggregate data derived from a database is published. Differential privacy offers a strong statistical guar...
128
click to vote
APAL
2008
15 years 4 months ago
2008
A simple cut elimination proof for arithmetic with epsilon symbol is used to establish termination of a modified epsilon substitution process. This opens a possibility of extensio...