Search Sciweavers | Sciweavers

967 search results - page 52 / 194

» Probabilistic Predicative Programming

199

click to vote

POPL
2012
ACM

243views Programming Languages» more POPL 2012»

Probabilistic relational reasoning for differential privacy

14 years 3 days ago

Download software.imdea.org

Differential privacy is a notion of conﬁdentiality 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...

claim paper

Read More »

126

click to vote

ECSQARU
2007
Springer

152views Automated Reasoning» more ECSQARU 2007»

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness

15 years 10 months ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz, Umberto Straccia

claim paper

Read More »

120

click to vote

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

15 years 10 months ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

126

click to vote

SFM
2010
Springer

231views Formal Methods» more SFM 2010»

Probabilistic Semantics and Program Analysis

15 years 9 months ago

Download www.sti.uniurb.it

Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...

claim paper

Read More »

123

click to vote

SAS
2001
Springer

117views Formal Methods» more SAS 2001»

An Abstract Analysis of the Probabilistic Termination of Programs

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers