Sciweavers

511 search results - page 34 / 103
» Lower bounds for distributed markov chain problems
Sort
View
SBMF
2009
Springer
126views Formal Methods» more  SBMF 2009»
15 years 6 months ago
Undecidability Results for Distributed Probabilistic Systems
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
Sergio Giro
IPPS
1999
IEEE
15 years 6 months ago
ParaPART: Parallel Mesh Partitioning Tool for Distributed Systems
In this paper, we present ParaPART, a parallel version of a mesh partitioning tool, called PART, for distributed systems. PART takes into consideration the heterogeneities in proce...
Jian Chen, Valerie E. Taylor
JMLR
2010
140views more  JMLR 2010»
14 years 8 months ago
Mean Field Variational Approximation for Continuous-Time Bayesian Networks
Continuous-time Bayesian networks is a natural structured representation language for multicomponent stochastic processes that evolve continuously over time. Despite the compact r...
Ido Cohn, Tal El-Hay, Nir Friedman, Raz Kupferman
107
Voted
CORR
2010
Springer
62views Education» more  CORR 2010»
15 years 2 months ago
Information embedding meets distributed control
We consider the problem of information embedding where the encoder modifies a white Gaussian host signal in a power-constrained manner to encode the message, and the decoder recov...
Pulkit Grover, Aaron B. Wagner, Anant Sahai
ICASSP
2011
IEEE
14 years 5 months ago
Labeling skin tissues in ultrasound images using a generalized Rayleigh mixture model
This paper addresses the problem of estimating the statistical distribution of multiple-tissue non-stationary ultrasound images of skin. The distribution of multiple-tissue images...
Marcelo Pereyra, Nicolas Dobigeon, Hadj Batatia, J...