5234 search results - page 795 / 1047 » Method Components - Rationale Revealed |
161
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
A new Bayer pattern demosaicking scheme for single-sensor digital cameras is introduced. The raw output from a sensor, mostly a charge coupled device (CCD) or a complementary metal...
158
click to vote
IMR
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a generic approach to mesh global optimization via node movement, based on a discrete graph-theoretic model. Mesh is considered as an electric system with lump...
192
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we propose an algorithm to construct the Ordered Binary Decision Diagram (OBDD) representing the cut function of a terminal-pair network. The algorithm recognizes i...
166
click to vote
ICCAD
2003
IEEE
15 years 11 months ago
2003
IEEE
Process variations have become a critical issue in performance verification of high-performance designs. We present a new, statistical timing analysis method that accounts for int...
150
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...