Sciweavers

CONCUR
2009
Springer
13 years 8 months ago
On Convergence of Concurrent Systems under Regular Interactions
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanatha...
WINE
2010
Springer
159views Economy» more  WINE 2010»
13 years 8 months ago
Local Dynamics in Bargaining Networks via Random-Turn Games
Abstract. We present a new technique for analyzing the rate of convergence of local dynamics in bargaining networks. The technique reduces balancing in a bargaining network to opti...
L. Elisa Celis, Nikhil R. Devanur, Yuval Peres
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
13 years 8 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
COLT
2010
Springer
13 years 8 months ago
The Convergence Rate of AdaBoost
Abstract. We pose the problem of determining the rate of convergence at which AdaBoost minimizes exponential loss. Boosting is the problem of combining many "weak," high-...
Robert E. Schapire
TCOM
2010
68views more  TCOM 2010»
13 years 9 months ago
Convergence Analysis of Downstream VDSL Adaptive Multichannel Partial FEXT Cancellation
—In this paper we analyze an adaptive downstream multichannel VDSL precoder that is based on error signal feedback. The analysis presents sufficient conditions for precoder conv...
Itsik Bergel, Amir Leshem
SIAMJO
2010
137views more  SIAMJO 2010»
13 years 9 months ago
Global Convergence of a New Hybrid Gauss--Newton Structured BFGS Method for Nonlinear Least Squares Problems
In this paper, we propose a hybrid Gauss-Newton structured BFGS method with a new update formula and a new switch criterion for the iterative matrix to solve nonlinear least square...
Weijun Zhou, Xiaojun Chen
NA
2010
118views more  NA 2010»
13 years 9 months ago
Practical Quasi-Newton algorithms for singular nonlinear systems
Quasi-Newton methods for solving singular systems of nonlinear equations are considered in this paper. Singular roots cause a number of problems in implementation of iterative met...
Sandra Buhmiler, Natasa Krejic, Zorana Luzanin
FOCM
2010
161views more  FOCM 2010»
13 years 9 months ago
The Asymptotics of Wilkinson's Shift: Loss of Cubic Convergence
One of the most widely used methods for eigenvalue computation is the QR iteration with Wilkinson’s shift: here the shift s is the eigenvalue of the bottom 2 × 2 principal mino...
Ricardo S. Leite, Nicolau C. Saldanha, Carlos Tome...
PAMI
2007
253views more  PAMI 2007»
13 years 10 months ago
Gaussian Mean-Shift Is an EM Algorithm
The mean-shift algorithm, based on ideas proposed by Fukunaga and Hostetler (1975), is a hill-climbing algorithm on the density defined by a finite mixture or a kernel density e...
Miguel Á. Carreira-Perpiñán
CORR
2010
Springer
116views Education» more  CORR 2010»
13 years 10 months ago
Convergent discrete Laplace-Beltrami operators over surfaces
The convergence problem of the Laplace-Beltrami operators plays an essential role in the convergence analysis of the numerical simulations of some important geometric partial diff...
Jyh-Yang Wu, Mei-Hsiu Chi, Sheng-Gwo Chen