492 search results - page 8 / 99 » Simplifying Probabilistic Programs Using Computer Algebra |
GECCO
2009
Springer
15 years 3 months ago
2009
Springer
The synthesis of stochastic processes using genetic programming is investigated. Stochastic process behaviours take the form of time series data, in which quantities of interest v...
106
click to vote
ICDE
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract-- This paper introduces a deterministic approximation algorithm with error guarantees for computing the probability of propositional formulas over discrete random variable...
90
Voted
POPL
2009
ACM
15 years 5 months ago
2009
ACM
With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important. Functional programming languages, such as Haskel...
133
click to vote
DISCO
1993
15 years 2 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
LPAR
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...