217 search results - page 1 / 44 » Synthesizing Probabilistic Composers |
FOSSACS
2012
Springer
12 years 2 months ago
2012
Springer
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
SYNTHESE
2008
13 years 6 months ago
2008
CAV
2010
Springer
13 years 10 months ago
2010
Springer
Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order...
EVOW
2008
Springer
13 years 8 months ago
2008
Springer
In this paper, biological (human) music composition systems based on Time Delay Neural Networks and Ward Nets and on a probabilistic Finite-State Machine will be presented. The sys...
EPEW
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...