Sciweavers

1024 search results - page 5 / 205
» Compositional Methods for Probabilistic Systems
Sort
View
FOSSACS
2012
Springer
12 years 3 months ago
Synthesizing Probabilistic Composers
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...
Sumit Nain, Moshe Y. Vardi
EVOW
2008
Springer
13 years 9 months ago
Composing Music with Neural Networks and Probabilistic Finite-State Machines
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...
Tomasz Michal Oliwa, Markus Wagner
JETAI
2000
96views more  JETAI 2000»
13 years 7 months ago
Abstraction and composition: a verification method for co-operating systems
Peter Ochsenschläger, Jürgen Repp, Rolan...
CVPR
2006
IEEE
14 years 9 months ago
Context and Hierarchy in a Probabilistic Image Model
It is widely conjectured that the excellent ROC performance of biological vision systems is due in large part to the exploitation of context at each of many levels in a part/whole...
Ya Jin, Stuart Geman
ARTS
1999
Springer
13 years 12 months ago
Process Algebra with Probabilistic Choice
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
Suzana Andova