378 search results - page 43 / 76 » Convergence of rank-type equations |
RTA
2009
Springer
15 years 6 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
SIGCOMM
2004
ACM
15 years 5 months ago
2004
ACM
Recent research efforts to design better Internet transport protocols combined with scalable Active Queue Management (AQM) have led to significant advances in congestion control...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Several multiagent reinforcement learning (MARL) algorithms have been proposed to optimize agents' decisions. Only a subset of these MARL algorithms both do not require agent...
JSCIC
2007
14 years 11 months ago
2007
In this paper, we extend the adjoint error correction of Pierce and Giles [SIAM Review, 42 (2000), pp. 247-264] for obtaining superconvergent approximations of functionals to Gale...
118
click to vote
CISS
2010
IEEE
14 years 3 months ago
2010
IEEE
—Gaussian belief propagation is an iterative algorithm for computing the mean of a multivariate Gaussian distribution. Equivalently, the min-sum algorithm can be used to compute ...