6693 search results - page 876 / 1339 » Methods of Automatic Algorithm Generation |
145
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Image blur is caused by a number of factors such as motion, defocus, capturing light over the non-zero area of the aperture and pixel, the presence of anti-aliasing filters on a c...
172
click to vote
ICCV
2007
IEEE
16 years 6 months ago
2007
IEEE
In this paper, we present a new method for segmenting closed contours and surfaces. Our work builds on a variant of the Fast Marching algorithm. First, an initial point on the des...
119
click to vote
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
Modern video-based endoscopes offer physicians a wide-angle field of view for minimally-invasive procedures. Unfortunately, inherent barrel distortion prevents accurate perception...
151
click to vote
ISPD
2009
ACM
15 years 11 months ago
2009
ACM
Several approaches to post-silicon adaptation require feedback from a replica of the nominal critical path, whose variations are intended to reflect those of the entire circuit a...
143
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inï¬...