Search Sciweavers | Sciweavers

1953 search results - page 19 / 391

» Embedded Probabilistic Programming

click to vote

LPNMR
2001
Springer

158views Automated Reasoning» more LPNMR 2001»

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

14 years 6 hour 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

14 years 7 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

13 years 11 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

14 years 2 months ago