Sciweavers

849 search results - page 157 / 170
» A survey of state vectors
Sort
View
SIAMSC
2010
132views more  SIAMSC 2010»
15 years 4 months ago
A Posteriori Error Estimates Including Algebraic Error and Stopping Criteria for Iterative Solvers
For the finite volume discretization of a second-order elliptic model problem, we derive a posteriori error estimates which take into account an inexact solution of the associated...
Pavel Jiránek, Zdenek Strakos, Martin Vohra...
CVPR
2007
IEEE
16 years 8 months ago
An MRF and Gaussian Curvature Based Shape Representation for Shape Matching
Matching and registration of shapes is a key issue in Computer Vision, Pattern Recognition, and Medical Image Analysis. This paper presents a shape representation framework based ...
Pengdong Xiao, Nick Barnes, Tibério S. Caet...
SACI
2007
IEEE
16 years 10 days ago
Geometric Theory and Control of Linear Parameter Varying Systems
: Linear Parameter Varying(LPV) systems appear in a form of LTI state space representations where the elements of the A(ρ), B(ρ), C(ρ) matrices can depend on an unknown but at a...
Jozsef Bokor
SCVMA
2004
Springer
15 years 11 months ago
Comparison of Edge-Driven Algorithms for Model-Based Motion Estimation
3D-model-based tracking offers one possibility to explicate the manner in which spatial coherence can be exploited for the analysis of image sequences. Two seemingly different ap...
Hendrik Dahlkamp, Artur Ottlik, Hans-Hellmut Nagel
TACAS
2004
Springer
122views Algorithms» more  TACAS 2004»
15 years 11 months ago
A Scalable Incomplete Test for the Boundedness of UML RT Models
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
Stefan Leue, Richard Mayr, Wei Wei