Sciweavers

6719 search results - page 193 / 1344
» A Generalization of Automatic Sequences
Sort
View
ICRA
2007
IEEE
117views Robotics» more  ICRA 2007»
14 years 4 months ago
Integration of Coordination Mechanisms in the BITE Multi-Robot Architecture
— Recent years are seeing a renewed interest in general multi-robot architectures, capable of automating coordination. However, few architectures explore integration of multiple ...
Gal A. Kaminka, Inna Frenkel
KBSE
2007
IEEE
14 years 4 months ago
Iterative model-driven development of adaptable service-based applications
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mau...
CAV
2007
Springer
121views Hardware» more  CAV 2007»
14 years 4 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
CIVR
2007
Springer
227views Image Analysis» more  CIVR 2007»
14 years 4 months ago
Video parsing based on head tracking and face recognition
In this paper, we describe a fully automatic video retrieval prototype system that uses an image or a video sequence of an interested identity as probe. The system is based on fac...
Pengxu Li, Haizhou Ai, Yuan Li, Chang Huang
GECCO
2007
Springer
189views Optimization» more  GECCO 2007»
14 years 4 months ago
A more bio-plausible approach to the evolutionary inference of finite state machines
With resemblance of finite-state machines to some biological mechanisms in cells and numerous applications of finite automata in different fields, this paper uses analogies an...
Hooman Shayani, Peter J. Bentley