68 search results - page 13 / 14 » From boolean to quantitative synthesis |
ICCAD
2002
IEEE
15 years 6 months ago
2002
IEEE
— One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The...
ICIP
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper focuses on the sampling problem in light field rendering (LFR) that is a fundamental approach to image based rendering. Quality of LFR depends on a light ray database g...
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
We propose a principled approach to summarization of visual data (images or video) based on optimization of a well-defined similarity measure. The problem we consider is re-target...
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
—We present an application of machine learning to the semi-automatic synthesis of robust servo-trackers for underwater robotics. In particular, we investigate an approach based o...
ICIP
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper introduces a novel approach to the problem of image inpainting through the use of nonlocal-means. In traditional inpainting techniques, only local information around th...