159 search results - page 21 / 32 » Distributed average consensus with increased convergence rat... |
105
click to vote
ENTCS
2006
14 years 11 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
126
click to vote
CSE
2008
IEEE
15 years 6 months ago
2008
IEEE
Methods of Computational Fluid Dynamics are applied to simulate pulsatile blood flow in human vessels and in the aortic arch. The non-Newtonian behaviour of the human blood is in...
117
Voted
ICML
2009
IEEE
16 years 14 days ago
2009
IEEE
In this paper, we investigate a simple, mistakedriven learning algorithm for discriminative training of continuous density hidden Markov models (CD-HMMs). Most CD-HMMs for automat...
104
click to vote
GLOBECOM
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— We consider the lossy transmission of source information over Rayleigh fading channels. We investigate the utility of two channel capacity definitions, ergodic capacit...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
— Diversity–multiplexing tradeoff (DMT) presents a compact framework to compare various MIMO systems and channels in terms of the two main advantages they provide (i.e. high da...