Sciweavers

165 search results - page 11 / 33
» From the bitstream to the netlist
Sort
View
ICIP
2009
IEEE
14 years 8 months ago
Maximum A Posteriori Super-resolution Of Compressed Video Using A New Multichannel Image Prior
Super-resolution (SR) algorithms for compressed video aim at recovering high-frequency information and estimating a high-resolution (HR) image or a set of HR images from a sequenc...
CAIP
2001
Springer
129views Image Analysis» more  CAIP 2001»
14 years 5 days ago
MPEG 2-Based Video Coding with Three-Layer Mixed Scalability
Abstract. The paper describes a three-layer video coder based on spatiotemporal scalability and data partitioning. The base layer represents video sequences with reduced spatial an...
Marek Domanski, Slawomir Mackowiak
MM
1997
ACM
102views Multimedia» more  MM 1997»
13 years 12 months ago
Flavor: A Language for Media Representation
We present the design and implementation of a new programming language for media-intensive applications called Flavor (Formal Language for Audio-Visual Object Representation). It ...
Alexandros Eleftheriadis
ICMCS
2009
IEEE
85views Multimedia» more  ICMCS 2009»
13 years 5 months ago
Text-independent compressed domain speaker verification for digital communication networks call monitoring
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...
Matteo Petracca, Antonio Servetti, Juan Carlos De ...
ACSD
2009
IEEE
136views Hardware» more  ACSD 2009»
14 years 2 months ago
Model Checking Verilog Descriptions of Cell Libraries
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
Matthias Raffelsieper, Jan-Willem Roorda, Mohammad...