Sciweavers

5457 search results - page 999 / 1092
» Software Component Independence
Sort
View
153
Voted
ENTCS
2010
103views more  ENTCS 2010»
15 years 29 days ago
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
Olaf Owe, Martin Steffen, Arild B. Torjusen
142
Voted
ESWA
2010
105views more  ESWA 2010»
15 years 29 days ago
A numerical comparison between simulated annealing and evolutionary approaches to the cell formation problem
The Cell Formation Problem is a crucial component of a cell production design in a manufacturing system. This problem consists of a set of product parts to be manufactured in a gr...
Andres Pailla, Athila R. Trindade, Victor Parada, ...
142
Voted
TASLP
2010
82views more  TASLP 2010»
14 years 10 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
113views more  TASLP 2010»
14 years 10 months ago
Spherical Harmonic Analysis of Wavefields Using Multiple Circular Sensor Arrays
Spherical harmonic decomposition of wavefields is not only an active problem in acoustic signal processing but also a useful tool in a plethora of applications such as 3D beamform...
Thushara D. Abhayapala, Aastha Gupta
125
Voted
TASLP
2010
101views more  TASLP 2010»
14 years 10 months ago
Gaussian Model-Based Multichannel Speech Presence Probability
The knowledge of the target speech presence probability in a mixture of signals captured by a speech communication system is of paramount importance in several applications includi...
Mehrez Souden, Jingdong Chen, Jacob Benesty, Sofi&...