Sciweavers

329 search results - page 37 / 66
» Observability of vortex flows
Sort
View
CRV
2004
IEEE
146views Robotics» more  CRV 2004»
15 years 1 months ago
Estimating Camera Motion through a 3D Cluttered Scene
Previous methods for estimating the motion of an observer through a static scene require that image velocities can be measured. For the case of motion through a cluttered 3D scene...
Richard Mann, Michael S. Langer
ATVA
2010
Springer
135views Hardware» more  ATVA 2010»
14 years 11 months ago
Probabilistic Contracts for Component-Based Design
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
Dana N. Xu, Gregor Gößler, Alain Giraul...
ENTCS
2008
88views more  ENTCS 2008»
14 years 10 months ago
Specification of Conditions for Error Diagnostics
This paper describes the basic concepts of error diagnostics and an associated rule system whose application helps to identify potential hardware/software locations of errors whic...
Christof Efkemann, Tobias Hartmann
ENTCS
2006
90views more  ENTCS 2006»
14 years 10 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...
JUCS
2008
120views more  JUCS 2008»
14 years 10 months ago
An Adaptation Logic Framework for Java-based Component Systems
Abstract: This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as...
Enrico Oliva, Antonio Natali, Alessandro Ricci, Mi...