Sciweavers

114 search results - page 17 / 23
» Automatic landmarking for building biological shape models
Sort
View
CAV
2007
Springer
114views Hardware» more  CAV 2007»
13 years 11 months ago
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
CA
1999
IEEE
13 years 11 months ago
Virtual People: Capturing Human Models to Populate Virtual Worlds
In this paper a new technique is introduced for automatically building recognisable moving 3D models of individual people. Realistic modelling of people is essential for advanced ...
Adrian Hilton, Daniel Beresford, Thomas Gentils, R...
ECCV
2010
Springer
14 years 20 days ago
ClassCut for Unsupervised Class Segmentation
Abstract. We propose a novel method for unsupervised class segmentation on a set of images. It alternates between segmenting object instances and learning a class model. The method...
JMM2
2008
124views more  JMM2 2008»
13 years 7 months ago
Integrated Feature Selection and Clustering for Taxonomic Problems within Fish Species Complexes
As computer and database technologies advance rapidly, biologists all over the world can share biologically meaningful data from images of specimens and use the data to classify th...
Huimin Chen, Henry L. Bart Jr., Shuqing Huang
ICIP
2010
IEEE
13 years 5 months ago
Human age estimation using enhanced bio-inspired features (EBIF)
The Aging process is a non-reversible process, causing human face characteristics change with time as hair whitening, muscles drop and wrinkles. Recently, age estimation from faci...
Mohamed Y. Eldib, Motaz El-Saban