Sciweavers

785 search results - page 109 / 157
» Automated Analysis of Feature Models Using Atomic Sets
Sort
View
CVPR
2009
IEEE
14 years 3 months ago
3D morphable face models revisited
In this paper we revisit the process of constructing a high resolution 3D morphable model of face shape variation. We demonstrate how the statistical tools of thin-plate splines a...
Ankur Patel, William A. P. Smith
IFIP
2010
Springer
13 years 3 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...
ICDAR
2003
IEEE
14 years 2 months ago
Radon Transform for Lineal Symbol Representation
Content-based retrieval and recognition of graphic images requires good models for symbol representation, able to identify those features providing the most relevant information a...
Oriol Ramos Terrades, Ernest Valveny
VIS
2004
IEEE
222views Visualization» more  VIS 2004»
14 years 10 months ago
Non-Linear Model Fitting to Parameterize Diseased Blood Vessels
Accurate estimation of vessel parameters is a prerequisite for automated visualization and analysis of healthy and diseased blood vessels. The objective of this research is to est...
Alexandra La Cruz, Matús Straka, Arnold K&o...
BMCBI
2007
165views more  BMCBI 2007»
13 years 8 months ago
Automatic reconstruction of a bacterial regulatory network using Natural Language Processing
Background: Manual curation of biological databases, an expensive and labor-intensive process, is essential for high quality integrated data. In this paper we report the implement...
Carlos Rodríguez Penagos, Heladia Salgado, ...