Sciweavers

980 search results - page 76 / 196
» A Sequential Reduction Strategy
Sort
View
MMM
2006
Springer
139views Multimedia» more  MMM 2006»
15 years 3 months ago
Harmonic data placement: file system support for scalable streaming
— Scalable encoding scheme enables the player or streaming server to adaptively change the playback rate of multimedia content. However, in scalable streaming of layer encoded co...
Youjip Won, Seungheon Yang, Sooyong Kang
SAT
2004
Springer
131views Hardware» more  SAT 2004»
15 years 3 months ago
A Comparative Study of 2QBF Algorithms
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...
Darsh P. Ranjan, Daijue Tang, Sharad Malik
DATE
1999
IEEE
102views Hardware» more  DATE 1999»
15 years 2 months ago
Minimal Length Diagnostic Tests for Analog Circuits using Test History
In this paper we propose an efficient transient test generation method to comprehensively test analog circuits using minimum test time. A divide and conquer strategy is formulated...
Alfred V. Gomes, Abhijit Chatterjee
VTS
1996
IEEE
126views Hardware» more  VTS 1996»
15 years 2 months ago
Automatic test generation using genetically-engineered distinguishing sequences
A fault-oriented sequential circuit test generator is described in which various types of distinguishing sequences are derived, both statically and dynamically, to aid the test ge...
Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. P...
DAGM
2007
Springer
15 years 1 months ago
Greedy-Based Design of Sparse Two-Stage SVMs for Fast Classification
Cascades of classifiers constitute an important architecture for fast object detection. While boosting of simple (weak) classifiers provides an established framework, the design of...
Rezaul Karim, Martin Bergtholdt, Jörg H. Kapp...