1119 search results - page 108 / 224 » On the Invariance of Ant System |
128
click to vote
EDO
2000
Springer
15 years 10 months ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...
186
click to vote
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
This paper considers off-line synthesis of stabilizing static feedback control laws for discrete-time piecewise affine (PWA) systems. Two of the problems of interest within this f...
171
click to vote
JLP
2008
15 years 6 months ago
2008
Currently known sequent systems for temporal logics such as linear time temporal logic and computation tree logic either rely on a cut rule, an invariant rule, or an infinitary ru...
167
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
In this paper we propose a new approach to compute the scale space of any omnidirectional image acquired with a central catadioptric system. When these cameras are central they ar...
131
click to vote
ISCAS
2007
IEEE
2007
IEEE
Analysis of Second-Order Modes of Linear Continuous-Time Systems under Positive-Real Transformations
16 years 18 days ago
Abstract— This paper discusses the behavior of the secondorder modes of linear continuous-time systems under variable transformations with positive-real functions. We first disc...