| Document Date: 2013-06-17 13:32:36
Open Document File Size: 577,32 KBShare Result on Facebook
City Madrid / Cambridge / New York / / Company ACM Inc. / Vertex / Microsoft / / Country United Kingdom / Spain / United States / / Currency USD / / / Facility Penn Plaza / ALEA library of Audebaud / IMDEA Software Institute / Station Road / / / IndustryTerm randomized approximation algorithm / optimization algorithms / approximation algorithm / machinery / randomized and streaming algorithms / mining / above algorithm / private approximation algorithm / privacy-preserving algorithm / targeted advertising / feasible solutions / approximation algorithms / / Organization IMDEA Software Institute / / Person Reed / BORIS KOPF / Pierce / GILLES BARTHE / / / Position Author / Coq proof assistant / representative / proof assistant / Program analysis General / / Product Coq / / ProvinceOrState New York / / Technology above algorithm / differentially private approximation algorithm / randomized algorithm / base algorithm / privacypreserving algorithm / S/N / randomized approximation algorithm / approximation algorithm / For algorithms / optimization algorithms / randomized and streaming algorithms / privacy-preserving k-Median algorithm / privacy-preserving algorithm / approximation algorithms / example algorithm / / URL http /
SocialTag |
N Probabilistic Relational Reasoning for Differential Privacy ¨ GILLES BARTHE, BORIS KOPF and FEDERICO OLMEDO, IMDEA Software Institute ´