1535 search results - page 23 / 307 » Lazy Shape Analysis |
SAS
2004
Springer
14 years 1 months ago
2004
Springer
This paper addresses the verification of properties of imperative programs with recursive procedure calls, heap-allocated storage, and destructive updating of pointer-valued fiel...
NIPS
2003
13 years 9 months ago
2003
We present a geometric approach to statistical shape analysis of closed curves in images. The basic idea is to specify a space of closed curves satisfying given constraints, and e...
ICPR
2010
IEEE
13 years 5 months ago
2010
IEEE
This paper deals with the construction of a non parametric multiscale analysis from a 1D parametric decomposition of shapes where the elements of the decomposition are geometric p...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— This paper describes real-time shape measurement using a newly developed high-speed vision system. Our proposed measurement system can observe a moving/deforming object at high...
ICIAP
2007
ACM
14 years 8 months ago
2007
ACM
We propose a method for reconstructing 3D face shape from a camera, which captures the object face from various viewing angles. In this method, we do not directly reconstruct the ...