1119 search results - page 51 / 224 » On the Invariance of Ant System |
CADE
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a novel classification/ retrieval system for motion events based on a perfect view invariant representation of motion trajectories and a linear classifier al...
HYBRID
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— Given an unforced nonlinear system and two nested closed and invariant sets Γ ⊂ O, we present reduction principles allowing one to extrapolate the properties of stability, a...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— In this paper we explore the stabilization of closed invariant sets for passive systems, and present conditions under which a passivity-based feedback makes the set stable, sem...