Sciweavers

494 search results - page 16 / 99
» Probabilistic Programming in Anglican
Sort
View
SFM
2010
Springer
231views Formal Methods» more  SFM 2010»
15 years 3 months ago
Probabilistic Semantics and Program Analysis
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
B
1998
Springer
15 years 2 months ago
The Generalised Substitution Language Extended to Probabilistic Programs
Let predicate P be converted from Boolean to numeric type by writing P , with false being 0 and true being 1, so that in a degenerate sense P can be regarded as `the probability th...
Carroll Morgan
CPAIOR
2006
Springer
15 years 1 months ago
Event-Driven Probabilistic Constraint Programming
Real-life management decisions are usually made in uncertain environments, and decision support systems that ignore this uncertainty are unlikely to provide realistic guidance. We ...
Armagan Tarim, Brahim Hnich, Steven David Prestwic...