1119 search results - page 43 / 224 » On the Invariance of Ant System |
103
click to vote
HYBRID
2000
Springer
15 years 1 months ago
2000
Springer
Results from classical dynamical systems are generalized to hybrid dynamical systems. The concept of limit set is introduced for hybrid systems and is used to prove new results on...
IFM
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper proposes a general feature selection approach for real-time image matching systems. To demonstrate the idea's effectiveness, we focus on the issue of rotational in...
VMCAI
2009
Springer
15 years 4 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
TABLEAUX
2009
Springer
15 years 4 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...