313 search results - page 34 / 63 » Lazy Abstraction with Interpolants |
MVA
2010
13 years 6 months ago
2010
Abstract This paper proposes a novel contact 3D acquisition system based on stereo vision and laser triangulation. The system is composed by several software modules for data acqui...
DCC
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract. Given an algebraic geometry code CL(D, P), the GuruswamiSudan algorithm produces a list of all codewords in CL(D, P) within a specified distance of a received word. The i...
VIS
2009
IEEE
14 years 8 months ago
2009
IEEE
Abstract--In this paper we present a method for vortex core line extraction which operates directly on the smoothed particle hydrodynamics (SPH) representation and, by this, genera...
MIPS
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. In this paper, we propose a new stereo video coding scheme for heterogeneous consumer devices by exploiting the concept of spatio-temporal scalability. We use MPEG standa...
PAMI
2008
13 years 6 months ago
2008
Abstract-- This paper proposes a deterministic observer design for visual tracking based on non-parametric implicit (level-set) curve descriptions. The observer is continuous-discr...