446 search results - page 6 / 90 » Convergence and rate of convergence of a simple ant model |
CHARME
2003
Springer
15 years 2 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
IMCSIT
2010
14 years 7 months ago
2010
The authors consider the impact of the structure of the matrix on the convergence behavior for the GMRES projection method for solving large sparse linear equation systems resultin...
102
click to vote
PPSN
1994
Springer
15 years 1 months ago
1994
Springer
We discuss the use of normal distribution theory as a tool to model the convergence characteristics of di erent GA selection schemes. The models predict the proportion of optimal a...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Many statistical M-estimators are based on convex optimization problems formed by the weighted sum of a loss function with a norm-based regularizer. We analyze the convergence rat...
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
A Quasi-Monte-Carlo method based on the computation of a surrogate model of the fitness function is proposed, and its convergence at super-linear rate 3/2 is proved under rather ...