1024 search results - page 30 / 205 » Compositional Methods for Probabilistic Systems |
116
click to vote
ENGL
2007
15 years 1 months ago
2007
— In this paper, a new method is proposed to evaluate the reliability of stochastic mechanical systems. This technique is based on the combination of the probabilistic transforma...
125
click to vote
RSP
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we propose the novel concept of probabilistic design for multimedia systems and a methodology to quickly explore such design space at an early design stage. The pro...
114
click to vote
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
In this paper, we propose an acceleration technique of the adaptive filtering scheme called adaptive proximal forward-backward splitting method. For accelerating the convergence ...
114
click to vote
ICDAR
1995
IEEE
15 years 4 months ago
1995
IEEE
A system for the acquisition, storage, indexing, and retrieval of map images is presented. The input to this system are raster images of separate map layers and map composites. A ...
108
click to vote
QEST
2008
IEEE
15 years 7 months ago
2008
IEEE
We begin by observing that (discrete-time) QuasiBirth-Death Processes (QBDs) are equivalent, in a precise sense, to (discrete-time) probabilistic 1-Counter Automata (p1CAs), and b...