4485 search results - page 452 / 897 » Equivalences on Observable Processes |
191
click to vote
STTT
2011
15 years 1 months ago
2011
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
212
click to vote
SIAMCOMP
2010
15 years 1 months ago
2010
This paper studies the inherent trade-off between termination probability and total step complexity of randomized consensus algorithms. It shows that for every integer k, the prob...
178
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In the context of spectrum sensing, we investigate the performance of detectors equipped with M antennas (co-located or distributed) under Rayleigh fading, in terms of detection d...
152
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Two-dimensional (2D) optimal filter for highly nonstationary 2D signal estimation is developed. It is based on the real-time results of space/spatial-frequency (S/SF) analysis, on...
126
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
An extension of principal component analysis called ipPCA has been proposed earlier for analyzing structure in genetic data. This non-parametric framework iteratively classifies ...