1355 search results - page 170 / 271 » Alternating Timed Automata over Bounded Time |
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
— We study the problem of generating continuous steering control for robots to completely cover a bounded region over a finite time. First, we pack the area by disks of minimum ...
HYBRID
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. In this paper we show how hybrid control and modeling techniques can be put to work for solving a problem of industrial relevance in Surface Mount Technology (SMT) manufa...
FGR
2002
IEEE
14 years 2 months ago
2002
IEEE
We describe a method to detect instances of a walking person carrying an object seen from a stationary camera. We take a correspondence-free motion-based recognition approach, tha...
CPM
2010
Springer
14 years 1 months ago
2010
Springer
A proper factor u of a string y is a cover of y if every letter of y is within some occurrence of u in y. The concept generalises the notion of periods of a string. An integer arra...
ISAAC
2001
Springer
14 years 1 months ago
2001
Springer
We consider the problem of developing algorithms for the recognition of a fixed pattern within a permutation. These methods are based upon using a carefully chosen chain or tree ...