42507 search results - page 8352 / 8502 » On the analysis of |
194
click to vote
TCS
2002
15 years 6 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
162
click to vote
TCSV
2002
15 years 6 months ago
2002
This paper presents an efficient VLSI architecture design of MPEG-4 shape coding, which is the key technology for supporting the content-based functionality of the MPEG-4 Video sta...
171
click to vote
TCSV
2002
15 years 6 months ago
2002
Abstract-- This article investigates linearly combined motion-compensated signals for video compression. In particular, we discuss multiple motion-compensated signals that are join...
188
click to vote
TCSV
2002
15 years 6 months ago
2002
This paper discusses the problem of reduced-resolution transcoding of compressed video bitstreams. An analysis of drift errors is provided to identify the sources of quality degra...
171
click to vote
TIP
2002
15 years 6 months ago
2002
Abstract--We propose an approach to accurately detecting twodimensional (2-D) shapes. The cross section of the shape boundary is modeled as a step function. We first derive a one-d...