2827 search results - page 402 / 566 » Robustness of PSPACE-complete sets |
116
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
In this paper, we present an automatic mouth contour and state estimation system. An efficient mouth contour extraction algorithm is proposed under the framework of Active Shape M...
142
Voted
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
This paper introduces a new architecture for face detection in color images. Based on skin locus and successive detectors, the method allows high efficiency under drastically vary...
118
Voted
DAC
2003
ACM
16 years 4 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
131
Voted
DAC
2006
ACM
16 years 4 months ago
2006
ACM
SAT sweeping is a method for simplifying an AND/INVERTER graph (AIG) by systematically merging graph vertices from the inputs towards the outputs using a combination of structural...
139
Voted
MICCAI
2006
Springer
16 years 4 months ago
2006
Springer
3D ultrasound (US) is an emerging new imaging technology that appeals to more and more applications in intraoperative guidance of computer-assisted surgery. In a freehand US imagin...