1604 search results - page 14 / 321 » Development Separation in Lambda-Calculus |
WECWIS
2002
IEEE
14 years 15 days ago
2002
IEEE
In the web context, it is difficult to disentangle presentation from process logic, and sometimes even data is not separate from the presentation. Consequently, it becomes to de...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
—We consider a widely applicable model of resource allocation where two sequences of events are coupled: on a continuous time axis (t), network dynamics evolve over time. On a di...
ICA
2007
Springer
14 years 1 months ago
2007
Springer
In this work, we deal with blind source separation of a class of nonlinear mixtures. The proposed method can be regarded as an adaptation of the solutions developed in [1, 2] to th...
LICS
2002
IEEE
14 years 16 days ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
ESANN
2006
13 years 9 months ago
2006
The Blind Source Separation (BSS) problem is often solved by maximizing objective functions reflecting the statistical dependency between outputs. Since global maximization may be ...