2935 search results - page 568 / 587 » An Integrated Approach to High Integrity Software Verificati... |
135
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
In this paper we present a dynamic model for simulating face aging process. We adopt a high resolution grammatical face model[1] and augment it with age and hair features. This mo...
183
click to vote
ICCV
2007
IEEE
16 years 6 months ago
2007
IEEE
We present a viewpoint-based approach for the quick fusion of multiple stereo depth maps. Our method selects depth estimates for each pixel that minimize violations of visibility ...
241
click to vote
GIS
2004
ACM
16 years 5 months ago
2004
ACM
Modern database applications including computer-aided design, multimedia information systems, medical imaging, molecular biology, or geographical information systems impose new re...
129
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
In this paper, we present ELIAD, an efficient lithography aware detailed router to optimize silicon image after optical proximity correction (OPC) in a correct-by-construction man...
139
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
As integrated circuit technology plumbs ever greater depths in the scaling of feature sizes, maintaining the paradigm of deterministic Boolean computation is increasingly challeng...