Sciweavers

197 search results - page 29 / 40
» The Case for a Balanced Decomposition Process
Sort
View
ICASSP
2008
IEEE
14 years 2 months ago
Adaptive short-time analysis-synthesis for speech enhancement
In this paper we present a new adaptive short-time Fourier analysissynthesis scheme and demonstrate its efficacy in speech enhancement. While a number of adaptive analyses have p...
Daniel Rudoy, Prabahan Basu, Thomas F. Quatieri, B...
SP
2002
IEEE
114views Security Privacy» more  SP 2002»
13 years 7 months ago
Efficiently building on-line tools for distributed heterogeneous environments
Software development is getting more and more complex, especially within distributed middleware-based environments. A major drawback during the overall software development proces...
Günther Rackl, Thomas Ludwig 0002, Markus Lin...
FMAM
2010
223views Formal Methods» more  FMAM 2010»
13 years 5 months ago
Agile Formality: A Mole of Software Engineering Practices
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
Vieri del Bianco, Dragan Stosic, Joseph R. Kiniry
TACAS
2009
Springer
122views Algorithms» more  TACAS 2009»
14 years 2 months ago
Test Input Generation for Programs with Pointers
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
Dries Vanoverberghe, Nikolai Tillmann, Frank Piess...
ICML
1998
IEEE
14 years 8 months ago
Learning a Language-Independent Representation for Terms from a Partially Aligned Corpus
Cross-language latent semantic indexing is a method that learns useful languageindependent vector representations of terms through a statistical analysis of a documentaligned text...
Michael L. Littman, Fan Jiang, Greg A. Keim