Sciweavers

1243 search results - page 32 / 249
» Complexity reduction of C-Algorithm
Sort
View
CATS
2008
15 years 2 months ago
Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction
Lock-free algorithms have been developed to avoid various problems associated with using locks to control access to shared data structures. These algorithms are typically more int...
Lindsay Groves
QEST
2009
IEEE
15 years 8 months ago
Language-Level Symmetry Reduction for Probabilistic Model Checking
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
Alastair F. Donaldson, Alice Miller, David Parker
PCM
2004
Springer
114views Multimedia» more  PCM 2004»
15 years 6 months ago
Key Techniques of Bit Rate Reduction for H.264 Streams
In previous techniques of bit rate reduction transcoding, reusing the mode of the input MB is widely adopted. However, directly re-using the mode of input MB will cause additional ...
Peng Zhang, Qingming Huang, Wen Gao
AMR
2008
Springer
288views Multimedia» more  AMR 2008»
15 years 2 months ago
Automatic Reduction of MIDI Files Preserving Relevant Musical Content
Retrieving music from large digital databases is a demanding computational task. The cost for indexing and searching depends not only on the computational effort of measuring music...
Søren Tjagvad Madsen, Rainer Typke, Gerhard...
NIPS
2008
15 years 2 months ago
Dimensionality Reduction for Data in Multiple Feature Representations
In solving complex visual learning tasks, adopting multiple descriptors to more precisely characterize the data has been a feasible way for improving performance. These representa...
Yen-Yu Lin, Tyng-Luh Liu, Chiou-Shann Fuh