157 search results - page 8 / 32 » Incremental Compilation-to-SAT Procedures |
ICCV
2011
IEEE
12 years 9 months ago
2011
IEEE
Recently, there has been an increasing interest in the investigation of statistical pattern recognition models for the fully automatic segmentation of the left ventricle (LV) of t...
ICCAD
2004
IEEE
14 years 6 months ago
2004
IEEE
— This paper presents two contributions. The first is an incremental placement algorithm for placement-aware logic synthesis along with a proof of optimality. The algorithm can ...
ACCV
2009
Springer
14 years 2 months ago
2009
Springer
Algebraic invariants extracted from coefficients of implicit polynomials (IPs) have been attractive because of its convenience for solving the recognition problem in computer visio...
ICPR
2008
IEEE
14 years 11 months ago
2008
IEEE
The paper presents an incremental method for accurate iris segmentation. Firstly, observing the characteristics of iris images, we search for a square region that contains pupil w...
ISSRE
2003
IEEE
14 years 3 months ago
2003
IEEE
Impact analysis – determining the potential effects of changes on a software system – plays an important role in helping engineers re-validate modified software. In previous ...