Sciweavers

1535 search results - page 23 / 307
» Lazy Shape Analysis
Sort
View
SAS
2004
Springer
106views Formal Methods» more  SAS 2004»
15 years 5 months ago
A Relational Approach to Interprocedural Shape Analysis
This paper addresses the verification of properties of imperative programs with recursive procedure calls, heap-allocated storage, and destructive updating of pointer-valued fiel...
Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, ...
NIPS
2003
15 years 1 months ago
A Computational Geometric Approach to Shape Analysis in Images
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...
Anuj Srivastava, Xiuwen Liu, Washington Mio, Eric ...
ICPR
2010
IEEE
14 years 9 months ago
Multiscale Analysis from 1D Parametric Geometric Decomposition of Shapes
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...
Fabien Feschet
ICRA
2007
IEEE
110views Robotics» more  ICRA 2007»
15 years 6 months ago
955-fps Real-time Shape Measurement of a Moving/Deforming Object using High-speed Vision for Numerous-point Analysis
— 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...
Yoshihiro Watanabe, Takashi Komuro, Masatoshi Ishi...
ICIAP
2007
ACM
15 years 12 months ago
Face Shape Reconstruction from Image Sequence Taken with Monocular Camera using Shape Database
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 ...
Hideo Saito, Yosuke Ito, Masaaki Mochimaru