1604 search results - page 20 / 321 » Development Separation in Lambda-Calculus |
SIAMJO
2008
13 years 7 months ago
2008
A new active set algorithm for minimizing quadratic functions with separable convex constraints is proposed by combining the conjugate gradient method with the projected gradient. ...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
We address the problem of blind source separation in the underdetermined and instantaneous mixture case. The proposed method is based on an algorithm developed by Aissa-El-Bey and...
ESOP
2011
Springer
12 years 11 months ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
ICANN
2007
Springer
14 years 1 months ago
2007
Springer
Many applications would emerge from the development of artificial systems able to accurately localize and identify sound sources. However, one of the main difficulties of such kin...
COCOON
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, we study the following disc covering problem: Given a set of discs of various radii on the plane, find a subset of discs to maximize the area covered by exactly on...