1243 search results - page 104 / 249 » Complexity reduction of C-Algorithm |
109
click to vote
CSL
2008
Springer
15 years 3 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...
129
click to vote
ETS
2010
IEEE
15 years 2 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...
134
click to vote
VLSISP
2008
15 years 1 months ago
2008
This paper presents the design of an embedded automated digital video surveillance system with real-time performance. Hardware accelerators for video segmentation, morphological op...
125
click to vote
ISVC
2010
Springer
14 years 12 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...
112
click to vote
IIHMSP
2006
IEEE
15 years 7 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...