Sciweavers

1599 search results - page 6 / 320
» Statistic Analysis for Probabilistic Processes
Sort
View
CAV
2004
Springer
202views Hardware» more  CAV 2004»
15 years 7 months ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha
94
Voted
BMCBI
2008
111views more  BMCBI 2008»
15 years 1 months ago
Probabilistic base calling of Solexa sequencing data
Background: Solexa/Illumina short-read ultra-high throughput DNA sequencing technology produces millions of short tags (up to 36 bases) by parallel sequencing-by-synthesis of DNA ...
Jacques Rougemont, Arnaud Amzallag, Christian Isel...
CDC
2009
IEEE
173views Control Systems» more  CDC 2009»
15 years 6 months ago
A contractivity approach for probabilistic bisimulations of diffusion processes
— This work is concerned with the problem of characterizing and computing probabilistic bisimulations of diffusion processes. A probabilistic bisimulation relation between two su...
Alessandro Abate
126
Voted
ICASSP
2010
IEEE
15 years 2 months ago
Statistical inference for single- and multi-band Probabilistic Amplitude Demodulation
Amplitude demodulation is an ill-posed problem and so it is natural to treat it from a Bayesian viewpoint, inferring the most likely carrier and envelope under probabilistic const...
Richard E. Turner, Maneesh Sahani
176
Voted
SIGMOD
2012
ACM
212views Database» more  SIGMOD 2012»
13 years 4 months ago
Local structure and determinism in probabilistic databases
While extensive work has been done on evaluating queries over tuple-independent probabilistic databases, query evaluation over correlated data has received much less attention eve...
Theodoros Rekatsinas, Amol Deshpande, Lise Getoor