492 search results - page 58 / 99 » Simplifying Probabilistic Programs Using Computer Algebra |
102
click to vote
FASE
2006
Springer
15 years 2 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...
103
click to vote
EOR
2010
14 years 11 months ago
2010
Abstract: Probabilistically constrained problems, in which the random variables are finitely distributed, are nonconvex in general and hard to solve. The p-efficiency concept has b...
104
click to vote
GECCO
2009
Springer
15 years 5 months ago
2009
Springer
Search spaces sampled by the process of Genetic Programming often consist of programs which can represent a function in many different ways. Thus, when the space is examined it i...
ISSAC
1995
Springer
15 years 2 months ago
1995
Springer
Dynamic evaluation is a technique for producing multiple results according to a decision tree which evolves with program execution. Sometimes it is desired to produce results for ...
ENTCS
2006
14 years 11 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...