Sciweavers

7189 search results - page 313 / 1438
» Connecting Design with Code
Sort
View
ACSD
2001
IEEE
74views Hardware» more  ACSD 2001»
15 years 7 months ago
From Code to Models
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
Gerard J. Holzmann
APCCAS
2006
IEEE
241views Hardware» more  APCCAS 2006»
15 years 6 months ago
A Fast Algorithm and Its Architecture for Motion Estimation in MPEG-4 AVC/H.264 Video Coding
The paper presents a hardware friendly fast algorithm and its architecture for motion estimation (ME) in H.264 video coding. The fast algorithm adopts the quarter pel subsampling a...
Chia-Chun Lin, Yu-Kun Lin, Tian-Sheuan Chang
ICML
2010
IEEE
15 years 5 months ago
Sequential Projection Learning for Hashing with Compact Codes
Hashing based Approximate Nearest Neighbor (ANN) search has attracted much attention due to its fast query time and drastically reduced storage. However, most of the hashing metho...
Jun Wang, Sanjiv Kumar, Shih-Fu Chang
ICASSP
2010
IEEE
15 years 4 months ago
Flexcode - flexible audio coding
Modern networks are highly variable and, as a result, source coders are commonly used under conditions that they were not designed for. We address this problem with a source-codin...
Janusz Klejsa, Minyue Li, W. Bastiaan Kleijn
TSP
2008
71views more  TSP 2008»
15 years 4 months ago
Multiple Description Trellis-Coded Quantization of Sinusoidal Parameters
A new scheme for sinusoidal audio coding named multiple description spherical trellis-coded quantization is proposed and analytic expressions for the point densities and expected d...
Morten Holm Larsen, Mads Græsbøll Chr...