Search Sciweavers | Sciweavers

1953 search results - page 10 / 391

» Embedded Probabilistic Programming

click to vote

IPCO
2007

101views Optimization» more IPCO 2007»

An Integer Programming Approach for Linear Programs with Probabilistic Constraints

13 years 9 months ago

Download www2.isye.gatech.edu

James Luedtke, Shabbir Ahmed, George L. Nemhauser

claim paper

Read More »

click to vote

ARTS
1999
Springer

247views Distributed And Parallel Com...» more ARTS 1999»

Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms

13 years 11 months ago

Download www.cse.unsw.edu.au

In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...

Annabelle McIver

claim paper

Read More »

click to vote

ECAI
1998
Springer

116views Artificial Intelligence» more ECAI 1998»

Probabilistic Logic Programming

13 years 11 months ago

Download www.kr.tuwien.ac.at

We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which...

Thomas Lukasiewicz

claim paper

Read More »

click to vote

ICFP
2004
ACM

114views Programming Languages» more ICFP 2004»

Improving the static analysis of embedded languages via partial evaluation

14 years 7 months ago

Download www.ccs.neu.edu

David Herman, Philippe Meunier

claim paper

Read More »