4075 search results - page 540 / 815 » Modeling Distributed Algorithm Using B |
222
click to vote
ICDCN
2011
Springer
14 years 10 months ago
2011
Springer
We address the problem of designing distributed algorithms for large scale networks that are robust to Byzantine faults. We consider a message passing, full information model: the ...
151
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Mixture models of mutagenetic trees are evolutionary models that capture several pathways of ordered accumulation of genetic events observed in different subsets of pa...
162
click to vote
STOC
1997
ACM
15 years 11 months ago
1997
ACM
The Swendsen-Wang process provides one possible dynamics for the Qstate Potts model in statistical physics. Computer simulations of this process are widely used to estimate the ex...
175
click to vote
ESANN
2000
15 years 8 months ago
2000
A parametric procedure for the blind inversion of nonlinear channels is proposed, based on a recent method of blind source separation in nonlinear mixtures. Experiments show that ...
163
click to vote
IJRR
2000
15 years 6 months ago
2000
Dynamics simulation can play a critical role in the engineering of robotic control code, and there exist a variety of strategies both for building physical models and for interact...