276 search results - page 34 / 56 » Abstraction and Refinement for Local Reasoning |
PSIVT
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We developed a fast image completion system using the multiresolution approach to accelerate the convergence of the system. The downsampling approach is for the texture-e...
AMDO
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. We present a new method to simulate deformable volumetric objects interactively using finite elements. With quadratic basis functions and a non-linear strain tensor, we a...
ECCV
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Automatic detection of symmetries, regularity, and repetitive structures in 3D geometry is a fundamental problem in shape analysis and pattern recognition with applicatio...
ADCM
2008
13 years 9 months ago
2008
Abstract. Signals with finite rate of innovation are those signals having finite degrees of freedom per unit of time that specify them. In this paper, we introduce a prototypical s...
SIAMAM
2008
13 years 8 months ago
2008
Abstract. We present numerical solutions of a two-dimensional Riemann problem for the compressible Euler equations that describes the Mach reflection of weak shock waves. High reso...