6568 search results - page 396 / 1314 » Reducing the Complexity of Reductions |
192
click to vote
SIPS
2008
IEEE
16 years 2 months ago
2008
IEEE
In this paper we present an efficient way of doing image reconstruction using the 2D Discrete Fourier transform (DFT). We exploit the fact that in the frequency domain, informati...
222
click to vote
CSL
2008
Springer
15 years 9 months ago
2008
Springer
We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify pr...
226
Voted
ETS
2010
IEEE
15 years 8 months ago
2010
IEEE
Testing of 3D stacked ICs (SICs) is becoming increasingly important in the semiconductor industry. In this paper, we address the problem of test architecture optimization for 3D s...
216
click to vote
ISVC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present a framework for combining automated and interactive visual analysis techniques for use on high-resolution biomechanical data. Analyzing the complex 3D motion o...
185
Voted
IIHMSP
2006
IEEE
16 years 1 months ago
2006
IEEE
— A decoder-friendly subpel motion vector (MV) selection scheme for H.264/AVC video encoding is proposed in this work. First, the rate-distortion (RD) relationship with respect t...