Sciweavers

1608 search results - page 253 / 322
» Challenges in Business Process Analysis
Sort
View
DAC
2009
ACM
15 years 4 months ago
Beyond verification: leveraging formal for debugging
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
Rajeev K. Ranjan, Claudionor Coelho, Sebastian Ska...
ICASSP
2009
IEEE
15 years 4 months ago
Using complex-valued ICA to efficiently combine radar polarimetric data for target detection
Target detection in sea clutter is a challenging problem in radar detection, specifically, when the Doppler return of the target and clutter are collocated. Polarization diverse ...
Mike Novey, Tülay Adali
ICASSP
2009
IEEE
15 years 4 months ago
Incorporating spectral subtraction and noise type for unvoiced speech segregation
Unvoiced speech poses a big challenge to current monaural speech segregation systems. It lacks harmonic structure and is highly susceptible to interference due to its relatively w...
Ke Hu, DeLiang Wang
ICASSP
2008
IEEE
15 years 4 months ago
Single-channel speech separation based on modulation frequency
This paper describes an algorithm that performs a simple form of computational auditory scene analysis to separate multiple speech signals from one another on the basis of the mod...
Lingyun Gu, Richard M. Stern
ICASSP
2008
IEEE
15 years 4 months ago
Unsupervised optimal phoneme segmentation: Objectives, algorithm and comparisons
Phoneme segmentation is a fundamental problem in many speech recognition and synthesis studies. Unsupervised phoneme segmentation assumes no knowledge on linguistic contents and a...
Yu Qiao, Naoya Shimomura, Nobuaki Minematsu