1024 search results - page 162 / 205 » Compositional Methods for Probabilistic Systems |
AUTOMATICA
2008
13 years 7 months ago
2008
This paper presents Lyapunov functions for proving stability of steady gliding motions for vehicles with hydrodynamic or aerodynamic forces and moments. Because of lifting forces ...
ENTCS
2010
13 years 7 months ago
2010
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...
CVGIP
2006
13 years 7 months ago
2006
In this paper, we detail an anatomically inspired, physically based model of the human torso designed for the visual simulation of respiration using a mixed system of rigid and de...
FTCGV
2007
13 years 7 months ago
2007
Matting refers to the problem of accurate foreground estimation in images and video. It is one of the key techniques in many image editing and film production applications, thus ...
PC
2012
12 years 3 months ago
2012
This paper describes a safe and efficient combination of the object-based message-driven execution and shared array parallel programming models. In particular, we demonstrate how ...