Sciweavers

57 search results - page 1 / 12
» A Logical Mix of Approximation and Separation
Sort
View
APLAS
2010
ACM
13 years 4 months ago
A Logical Mix of Approximation and Separation
We extract techniques developed in the Concurrent C minor project to build a framework for constructing logics that contain approximation and/or separation. Approximation occurs wh...
Aquinas Hobor, Robert Dockins, Andrew W. Appel
ESOP
2003
Springer
13 years 9 months ago
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
Karine Altisen, Aurélie Clodic, Florence Ma...
TASLP
2010
142views more  TASLP 2010»
12 years 11 months ago
Beyond the Narrowband Approximation: Wideband Convex Methods for Under-Determined Reverberant Audio Source Separation
We consider the problem of extracting the source signals from an under-determined convolutive mixture assuming known mixing filters. State-of-the-art methods operate in the time-fr...
M. Kowalski, Emmanuel Vincent, Rémi Gribonv...
CORR
2006
Springer
105views Education» more  CORR 2006»
13 years 4 months ago
Mixing and non-mixing local minima of the entropy contrast for blind source separation
In this paper, both non-mixing and mixing local minima of the entropy are analyzed from the viewpoint of blind source separation (BSS); they correspond respectively to acceptable a...
Frédéric Vrins, Dinh-Tuan Pham, Mich...
FSS
2006
114views more  FSS 2006»
13 years 4 months ago
Fuzzy logic based variable step size algorithm for blind delayed source separation
Convergence of blind delayed source separation algorithms, which use constant learning rates, is known to be slow. We propose a fuzzy logic based approach to adaptively select the...
Vivek Nigam, Roland Priemer