2610 search results - page 69 / 522 » Computational Probabilistic Non-interference |
CONCUR
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent Markov Chains, that is, probabilistic transition systems which exhibit both probabili...
DCC
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper we consider the problem of searching for the best match for an input among a set of vectors, according to some predetermined metric. Examples of this problem include...
BMVC
1997
13 years 10 months ago
1997
We present a multi-level probabilistic relaxation scheme appropriate for image segmentation on the basis of features computed at various resolution levels. At each level, we incor...
RSFDGRC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper, we revisit the consensus of computational complexity on exact inference in Bayesian networks. We point out that even in singly connected Bayesian networks,...
ACL
2009
13 years 6 months ago
2009
Variational EM has become a popular technique in probabilistic NLP with hidden variables. Commonly, for computational tractability, we make strong independence assumptions, such a...