1379 search results - page 172 / 276 » codes 2009 |
142
Voted
ICFEM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
131
click to vote
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
Recently, adaptive interpolation filter (AIF) has received increasing attention for motion-compensated prediction (MCP). The existing methods code the filter coefficients individu...
146
click to vote
ICMCS
2009
IEEE
15 years 1 months ago
2009
IEEE
Fractional motion estimation (FME) is widely used in video compression standards. In H.264/AVC, the precision of motion vector is down to quarter pixels to improve the coding effi...
ICMCS
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper we present a text-independent automatic speaker verification system that works in the compressed domain using GSM AMR coded speech. While traditional approaches proc...
143
click to vote
ICMCS
2009
IEEE
15 years 1 months ago
2009
IEEE
Forward Error Correction (FEC) coding and Automatic Repeat reQuest (ARQ) are two commonly used techniques to tackle packet erasures in wireless video streaming. To preserve flexib...