Sciweavers

761 search results - page 49 / 153
» A Reactive Approach to Explanation
Sort
View
ISCAS
2007
IEEE
122views Hardware» more  ISCAS 2007»
15 years 6 months ago
Fast sensory motor control based on event-based hybrid neuromorphic-procedural system
—Fast sensory-motor processing is challenging when using traditional frame-based cameras and computers. Here we show how a hybrid neuromorphic-procedural system consisting of an ...
Tobi Delbrück, Patrick Lichtsteiner
FASE
2003
Springer
15 years 5 months ago
Model-Based Development of Web Applications Using Graphical Reaction Rules
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
Reiko Heckel, Marc Lohmann
ICRA
2002
IEEE
76views Robotics» more  ICRA 2002»
15 years 4 months ago
Task-Consistent Obstacle Avoidance and Motion Behavior for Mobile Manipulation
Applications in mobile manipulation require sophisticated motion execution skills to address issues like redundancy resolution, reactive obstacle avoidance, and transitioning betw...
Oliver Brock, Oussama Khatib, Sriram Viji
ECBS
2009
IEEE
101views Hardware» more  ECBS 2009»
15 years 3 months ago
Structured Formalization of Service-Oriented Specifications
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
Markus Herrmannsdoerfer, Sabine Rittmann, Bernhard...
FM
2006
Springer
148views Formal Methods» more  FM 2006»
15 years 3 months ago
Automatic Translation from Circus to Java
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
Angela Freitas, Ana Cavalcanti