1119 search results - page 84 / 224 » On the Invariance of Ant System |
DANCE
2002
IEEE
15 years 2 months ago
2002
IEEE
Although active networks have generated much debate in the research community, on the whole there has been little hard evidence to inform this debate. This paper aims to redress t...
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
—A new type of global stability is introduced and its equivalent Lyapunov characterization is presented. The problem of global stability of the compact set composed by all invari...
102
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
WCE
2007
14 years 11 months ago
2007
A non-symmetric matrix splitting is presented for the solution of certain sparse linear systems. The author reports the comparison and the convergence performance of the previous a...
FOCM
2006
14 years 10 months ago
2006
In this paper we analyse the matrix differential system X = [N, X2 ], where N is skew-symmetric and X(0) is symmetric. We prove that it is isospectral and that it is endowed with ...