Search Sciweavers | Sciweavers

1341 search results - page 9 / 269

» Probabilistic Abstraction Hierarchies

174

click to vote

ESOP
2001
Springer

145views Programming Languages» more ESOP 2001»

Backwards Abstract Interpretation of Probabilistic Programs

15 years 10 months ago

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

138

click to vote

SAS
2001
Springer

117views Formal Methods» more SAS 2001»

An Abstract Analysis of the Probabilistic Termination of Programs

15 years 10 months ago

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

105

click to vote

SAS
2000
Springer

105views Formal Methods» more SAS 2000»

Abstract Interpretation of Probabilistic Semantics

15 years 9 months ago

Download www.csl.sri.com

David Monniaux

claim paper

Read More »

click to vote

DAGSTUHL
2007

64views Software Engineering» more DAGSTUHL 2007»

07391 Abstracts Collection - Probabilistic Methods in the Design and Analysis of Algorithms

15 years 7 months ago

Download drops.dagstuhl.de

Martin Dietzfelbinger, Shang-Hua Teng, Eli Upfal, ...

claim paper

Read More »

124

click to vote

UAI
1996

84views Artificial Intelligence» more UAI 1996»

Sound Abstraction of Probabilistic Actions in The Constraint Mass Assignment Framework

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers