Sciweavers

1024 search results - page 5 / 205
» Compositional Methods for Probabilistic Systems
Sort
View
131
Voted
FOSSACS
2012
Springer
13 years 10 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
153
Voted
EVOW
2008
Springer
15 years 4 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»
15 years 2 months ago
Abstraction and composition: a verification method for co-operating systems
Peter Ochsenschläger, Jürgen Repp, Rolan...
109
Voted
CVPR
2006
IEEE
16 years 4 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
125
Voted
ARTS
1999
Springer
15 years 7 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