Search Sciweavers | Sciweavers

1953 search results - page 19 / 391

» Embedded Probabilistic Programming

114

click to vote

LPNMR
2001
Springer

158views Automated Reasoning» more LPNMR 2001»

Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics

15 years 2 months ago

Download www.kr.tuwien.ac.at

In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...

Thomas Lukasiewicz

claim paper

Read More »

click to vote

ICFP
2008
ACM

104views Programming Languages» more ICFP 2008»

Experience report: playing the DSL card

15 years 9 months ago

Download web.cecs.pdx.edu

This paper describes our experience using a functional language, Haskell, to build an embedded, domain-specific language (DSL) for component configuration in large-scale, real-tim...

Mark P. Jones

claim paper

Read More »

click to vote

COCO
1998
Springer

86views Algorithms» more COCO 1998»

The Satisfiability Problem for Probabilistic Ordered Branching Programs

15 years 1 months ago

Download www.cse.iitk.ac.in

We show that the satisfiability problem for bounded-error probabilistic ordered branching programs is NP-complete. If the error is very small, however (more precisely, if the erro...

Manindra Agrawal, Thomas Thierauf

claim paper

Read More »

click to vote

IFIP
2009
Springer

102views Programming Languages» more IFIP 2009»

A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference

15 years 4 months ago