Sciweavers

3032 search results - page 344 / 607
» Complexity of sequences and dynamical systems
Sort
View
CODES
2001
IEEE
15 years 10 months ago
Formal synthesis and code generation of embedded real-time software
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
Pao-Ann Hsiung
155
Voted
HICSS
2005
IEEE
173views Biometrics» more  HICSS 2005»
16 years 7 days ago
Implementing Rule-Based Monitors within a Framework for Continuous Requirements Monitoring
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
William N. Robinson
ESAW
2008
Springer
15 years 8 months ago
Contribution to the Control of a MAS's Global Behaviour: Reinforcement Learning Tools
Reactive multi-agent systems present global behaviours uneasily linked to their local dynamics. When it comes to controlling such a system, usual analytical tools are difficult to ...
François Klein, Christine Bourjot, Vincent ...
ICIP
2006
IEEE
16 years 8 months ago
Region-Based Statistical Background Modeling for Foreground Object Segmentation
This paper proposes a novel region-based scheme for dynamically modeling time-evolving statistics of video background, leading to an effective segmentation of foreground moving ob...
Kristof Op De Beeck, Irene Y. H. Gu, Liyuan Li, Ma...
ICRA
2003
IEEE
196views Robotics» more  ICRA 2003»
15 years 12 months ago
Generating whole body motions for a biped humanoid robot from captured human dances
— The goal of this study is a system for a robot to imitate human dances. This paper describes the process to generate whole body motions which can be performed by an actual bipe...
Shinichiro Nakaoka, Atsushi Nakazawa, Kazuhito Yok...