Sciweavers

11182 search results - page 216 / 2237
» Shape Analysis of Sets
Sort
View
CAIP
1999
Springer
157views Image Analysis» more  CAIP 1999»
15 years 9 months ago
Free-Form Surface Description in Multiple Scales: Extension to Incomplete Surfaces
A novel technique for multi-scale smoothing of a free-form 3-D surface is presented. Diffusion of the surface is achieved through convolutions of local parametrisations of the su...
Nasser Khalili, Farzin Mokhtarian, Peter Yuen
ICDAR
2009
IEEE
15 years 2 months ago
Symbol Detection Using Region Adjacency Graphs and Integer Linear Programming
In this paper, we tackle the problem of localizing graphical symbols on complex technical document images by using an original approach to solve the subgraph isomorphism problem. ...
Pierre Le Bodic, Hervé Locteau, Séba...
CAV
2012
Springer
231views Hardware» more  CAV 2012»
13 years 7 months ago
Incremental, Inductive CTL Model Checking
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
Zyad Hassan, Aaron R. Bradley, Fabio Somenzi
CVPR
2006
IEEE
16 years 6 months ago
Wire Structure Pattern Extraction and Tracking From X-Ray Images of Composite Mechanisms
This paper introduces a complete pipeline of image processing methods in order to analyze and track the internal structures of a composite material. As a first step, input Xray im...
David Tschumperlé, Jalal Fadili
ICCV
2001
IEEE
16 years 6 months ago
Modelling Faces Dynamically across Views and Over Time
A comprehensive novel multi-view dynamic face model is presented in this paper to address two challenging problems in face recognition and facial analysis: modelling faces with la...
Yongmin Li, Shaogang Gong, Heather M. Liddell