2468 search results - page 92 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
123
click to vote
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
— Uniform sampling in networks is at the core of a wide variety of randomized algorithms. Random sampling can be performed by modeling the system as an undirected graph with asso...
137
Voted
SPRINGSIM
2010
15 years 1 months ago
2010
This paper presents a distributed Bayesian fault diagnosis scheme for physical systems. Our diagnoser design is based on a procedure for factoring the global system bond graph (BG...
118
Voted
AIPS
2004
15 years 4 months ago
2004
We describe and evaluate a system for learning domainspecific control knowledge. In particular, given a planning domain, the goal is to output a control policy that performs well ...
138
Voted
APCCM
2009
15 years 4 months ago
2009
In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. sign...
142
Voted
UAI
2004
15 years 4 months ago
2004
Bayesian learning in undirected graphical models--computing posterior distributions over parameters and predictive quantities-is exceptionally difficult. We conjecture that for ge...