68 search results - page 13 / 14 » From boolean to quantitative synthesis |
ICCAD
2002
IEEE
14 years 3 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
14 years 8 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
14 years 8 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
14 years 1 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
14 years 24 days 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...