5075 search results - page 294 / 1015 » Convergence |
186
click to vote
ENTCS
2006
15 years 6 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...
164
click to vote
CCE
2007
15 years 6 months ago
2007
In this work, a systematic approach to plant-wide control design is proposed. The method combines ingredients from process networks, thermodynamics and systems theory to derive ro...
166
click to vote
IJRR
2006
15 years 6 months ago
2006
It has been almost two decades since the first globally tracking convergent adaptive controllers were derived for robot with dynamic uncertainties. However, the problem of concurr...
181
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Results of neural network learning are always subject to some variability, due to the sensitivity to initial conditions, to convergence to local minima, and, sometimes more dramat...
175
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
—We analyze fading interference relay networks where M single-antenna source-destination terminal pairs communicate concurrently and in the same frequency band through a set of K...