1806 search results - page 111 / 362 » Randomness and halting probabilities |
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
We provide a review of independent component analysis (ICA) for complex-valued improper and noncircular random sources. An improper random signal is correlated with its complex co...
CIE
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We prove a uniformly computable version of de Finetti’s theorem on exchangeable sequences of real random variables. In the process, we develop machinery for computably ...
ICPR
2010
IEEE
14 years 2 months ago
2010
IEEE
—This paper proposes the sequential context inference (SCI) algorithm for Markov random field (MRF) image analysis. This algorithm is designed primarily for fast inference on an...
CRYPTO
2005
Springer
14 years 2 months ago
2005
Springer
We present an improved bound on the advantage of any q-query adversary at distinguishing between the CBC MAC over a random n-bit permutation and a random function outputting n bit...
SAT
2005
Springer
14 years 2 months ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...