1737 search results - page 138 / 348 » On Interpolation in Existence Logics |
155
click to vote
MVA
2000
15 years 6 months ago
2000
This paper presents a novel golden template self-generating technique for detecting possible defects in periodic two-dimensional wafer images. A golden template of the patterned w...
153
click to vote
IJCV
2002
15 years 6 months ago
2002
Image-based relighting (IBL) is a technique to change the illumination of an image-based object/scene. In this paper, we define a representation called the reflected irradiance fi...
267
click to vote
TC
2002
15 years 6 months ago
2002
Dynamic Power Management (DPM) is a design methodology aiming at reducing power consumption of electronic systems by performing selective shutdown of idle system resources. The eff...
173
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
182
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
In interest of low cost, low power consumption, and compact size, most digital cameras adopt a design of single sensor array coupled with a color filter array. This design inevita...