Sciweavers

13383 search results - page 2304 / 2677
» Abstractions from proofs
Sort
View
TASLP
2010
82views more  TASLP 2010»
14 years 11 months ago
Psychoacoustically Constrained and Distortion Minimized Speech Enhancement
Abstract--This paper considers a psychoacoustically constrained and distortion minimized speech enhancement algorithm. Noise reduction, in general, leads to speech distortion, and ...
Seokhwan Jo, Chang D. Yoo
TASLP
2010
135views more  TASLP 2010»
14 years 11 months ago
Audio-Based Semantic Concept Classification for Consumer Video
Abstract--This paper presents a novel method for automatically classifying consumer video clips based on their soundtracks. We use a set of 25 overlapping semantic classes, chosen ...
Keansub Lee, Daniel P. W. Ellis
TASLP
2010
92views more  TASLP 2010»
14 years 11 months ago
A Tandem Algorithm for Pitch Estimation and Voiced Speech Segregation
Abstract--A lot of effort has been made in computational auditory scene analysis (CASA) to segregate speech from monaural mixtures. The performance of current CASA systems on voice...
Guoning Hu, DeLiang L. Wang
TC
2010
14 years 11 months ago
Scheduling Concurrent Bag-of-Tasks Applications on Heterogeneous Platforms
Abstract-- Scheduling problems are already difficult on traditional parallel machines, and they become extremely challenging on heterogeneous clusters. In this paper we deal with t...
Anne Benoit, Loris Marchal, Jean-Francois Pineau, ...
TCAD
2010
121views more  TCAD 2010»
14 years 11 months ago
Translation Validation of High-Level Synthesis
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
« Prev « First page 2304 / 2677 Last » Next »