5624 search results - page 425 / 1125 » On Conditional Covering Problem |
181
click to vote
ASWEC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper explains some analyses that can be performed on a hierarchical finite state machine to validate that it performs as intended. Such a hierarchical state machine has tra...
163
click to vote
ICDCS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes a methodology for designing a class of algorithms for computing functions in dynamic distributed systems in which communication channels and processes may ceas...
166
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper focuses on leader-follower formations of mobile robots equipped with panoramic cameras and extend earlier works in the literature addressing both the visionbased loc...
155
click to vote
ISMAR
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a non-rigid registration technique that achieves spatial, photometric, and visibility accuracy. It lets us photo-realistically augment 3D deformable surfaces under comp...
152
click to vote
ACAL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, we apply a theoretical swarm-generating technique to a system implementing cluster-based construction. The technique, known as swarm engineering consists o...