1119 search results - page 63 / 224 » On the Invariance of Ant System |
IEE
2008
14 years 10 months ago
2008
The pressures which act on a software system over its life from inception to retirement are many and varied. It is an important goal in considering software evolvability to unders...
126
click to vote
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
Local invariant feature based methods have been proven to be effective in computer vision for object recognition and learning. But for an image, the number of points detected and ...
MPC
2004
Springer
15 years 3 months ago
2004
Springer
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
CAV
2010
Springer
15 years 1 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
IJISTA
2008
14 years 9 months ago
2008
: This paper introduces use of range information acquired by a CSEM SwissRanger SR-2 camera for view invariant recognition of one and two arms gestures. The range data enables moti...