Sciweavers

756 search results - page 83 / 152
» coordination 2006
Sort
View
ENTCS
2006
135views more  ENTCS 2006»
15 years 4 months ago
Formal Semantics and Analysis of Component Connectors in Reo
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...
Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arba...
ENTCS
2006
90views more  ENTCS 2006»
15 years 4 months ago
A Framework for Engineering Interactions in Java-based Component Systems
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
Antonio Natali, Enrico Oliva, Alessandro Ricci, Mi...
MCSS
2006
Springer
15 years 4 months ago
Global complete observability and output-to-state stability imply the existence of a globally convergent observer
In this paper we consider systems which are globally completly observable and output-to-state stable. The former property guarantees the existence of coordinates such that the dyna...
Alessandro Astolfi, Laurent Praly
JMIV
2008
142views more  JMIV 2008»
15 years 3 months ago
Camera Motion Estimation Through Planar Deformation Determination
In this paper, we propose a global method for estimating the motion of a camera which films a static scene. Our approach is direct, fast and robust, and deals with adjacent frames...
Claire Jonchery, Françoise Dibos, Georges K...
ICRA
2006
IEEE
154views Robotics» more  ICRA 2006»
15 years 10 months ago
Qualitative Vision-based Mobile Robot Navigation
— We present a novel, simple algorithm for mobile robot navigation. Using a teach-replay approach, the robot is manually led along a desired path in a teaching phase, then the ro...
Zhichao Chen, Stanley T. Birchfield