Sciweavers

967 search results - page 52 / 194
» Probabilistic Predicative Programming
Sort
View
236
Voted
POPL
2012
ACM
14 years 2 months ago
Probabilistic relational reasoning for differential privacy
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
Gilles Barthe, Boris Köpf, Federico Olmedo, S...
139
Voted
ECSQARU
2005
Springer
15 years 12 months ago
Probabilistic Description Logic Programs
Thomas Lukasiewicz
154
Voted
SFM
2010
Springer
231views Formal Methods» more  SFM 2010»
15 years 11 months ago
Probabilistic Semantics and Program Analysis
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...