1119 search results - page 145 / 224 » On the Invariance of Ant System |
TPHOL
2008
IEEE
15 years 4 months ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
ECOOP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Understanding the collaborations that arise between the instances of classes in object-oriented programs is important for the analysis, optimization, or modification of ...
121
click to vote
AIPR
2005
IEEE
15 years 3 months ago
2005
IEEE
Most of the available research on face recognition has been performed using gray scale imagery. This paper presents a novel two-pass face recognition system that uses a Multispect...
COMPSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
EPIA
2005
Springer
15 years 3 months ago
2005
Springer
We are interested in the challenging scientific pursuit of how to characterize human activities in any formal meeting situation by tracking people’s positions with a computer vi...