9504 search results - page 82 / 1901 » Dynamic Substitution Model |
SPIN
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
WACV
2008
IEEE
14 years 4 months ago
2008
IEEE
In the traditional mixture of Gaussians background model, the generating process of each pixel is modeled as a mixture of Gaussians over color. Unfortunately, this model performs ...
AUTOMATICA
2006
13 years 10 months ago
2006
Estimating models for both plant and disturbance dynamics is important in control design applications that focus on disturbance rejection. Several methods for low-order approximat...
CVPR
2006
IEEE
15 years 3 days ago
2006
IEEE
Dynamic appearance is one of the most important cues for tracking and identifying moving people. However, direct modeling spatio-temporal variations of such appearance is often a ...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
— This paper describes the dynamic modeling of linear object deformation based on differential geometry coordinates. Deformable linear objects such as cables and strings are wide...