1119 search results - page 37 / 224 » On the Invariance of Ant System |
HYBRID
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. An algorithm for computing the maximal controlled invariant set and the least restrictive controller for discrete time systems is proposed. We show how the algorithm can ...
BC
2002
14 years 9 months ago
2002
The operation of a hierarchical competitive network model (VisNet) of invariance learning in the visual system is investigated to determine how this class of architecture can solve...
63
Voted
CASC
2007
Springer
15 years 1 months ago
2007
Springer
We find a full system of invariants with respect to gauge transformations L g-1 Lg for third-order hyperbolic linear partial differential operators on the plane. The operators are...
LFCS
2007
Springer
15 years 3 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
84
Voted
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
In this paper we present a vision-based approach to mobile robot localization, that integrates an image retrieval system with Monte-Carlo localization. The image retrieval process...