1604 search results - page 27 / 321 » Development Separation in Lambda-Calculus |
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
We recently reported a criterion for blind separation of non-negative sources, using a new concept called convex analysis for mixtures of non-negative sources (CAMNS). Under some ...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
During language evolution, compiler construction is usually d along two dimensions: defining new abstract syntax tree (AST) classes, or adding new operations. In order to facilita...
SPLC
2008
13 years 9 months ago
2008
Model-driven software product lines are an emerging topic in research and industry, as they promise higher development speed and easier adaptability to customer needs. The generat...
APAL
2010
13 years 7 months ago
2010
Abstract. We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existin...
TSP
2008
13 years 7 months ago
2008
This paper presents a new framework for blind source separation (BSS) of non-negative source signals. The proposed framework, referred herein to as convex analysis of mixtures of ...