Sciweavers

1183 search results - page 172 / 237
» Efficient Wet Paper Codes
Sort
View
ISSS
2000
IEEE
128views Hardware» more  ISSS 2000»
15 years 4 months ago
Hardware Synthesis from SPDF Representation for Multimedia Applications
Even though high-level hardware synthesis from dataflow graphs becomes popular in designing DSP systems, currently used dataflow models are inefficient to deal with emerging multi...
Chanik Park, Soonhoi Ha
MSE
2000
IEEE
110views Hardware» more  MSE 2000»
15 years 4 months ago
Nobel Successive Elimination Algorithms for the Estimation of Motion Vectors
In this paper, we present fast algorithms to reduce the computations of block matching algorithms for motion estimation in video coding. Nobel Successive Elimination Algorithms fo...
Soo-Mok Jung, Sung-Chul Shin, Hyunki Baik, Myong-S...
ICDAR
1999
IEEE
15 years 4 months ago
Information Theoretic Analysis of Postal Address Fields for Automatic Address Interpretation
This paper concerns a study of information content in postal address fields for automatic address interpretation. Information provided by a combination of address components and i...
Sargur N. Srihari, Wen-jann Yang, Venu Govindaraju
INFOCOM
1998
IEEE
15 years 4 months ago
Threshold Autoregressive Models for VBR MPEG Video Traces
In this paper variable bit rate VBR Moving Picture Experts Group (MPEG) coded full-motion video traffic is modeled by a nonlinear time-series process. The threshold autoregressive ...
Bongseog Jang, Charles Thomson
HVC
2007
Springer
106views Hardware» more  HVC 2007»
15 years 3 months ago
Exploiting Shared Structure in Software Verification Conditions
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
Domagoj Babic, Alan J. Hu