4187 search results - page 627 / 838 » A Taxonomy of Model Transformation |
180
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper presents a distributed and occlusion-robust coding scheme for multi-view omnidirectional images, which relies on the geometry of the 3D scene. The Wyner-Ziv coder uses ...
168
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
In lossy image compression schemes utilizing the discrete cosine transform (DCT), quantization of the DCT coefficients introduces error in the image representation and a loss of s...
150
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
156
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
In this paper, we presen t the design and use of a comprehensiv e framework, SimplePower, for evaluating the e ect of high-level algorithmic, architectural, and compilation tradeo...
172
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
This paper proposes a general hierarchical analysis methodology, HiPRIME, to efficiently analyze RLKC power delivery systems. After partitioning the circuits into blocks, we devel...