Sciweavers

38 search results - page 2 / 8
» A criterion for separating process calculi
Sort
View
CORR
2008
Springer
121views Education» more  CORR 2008»
13 years 7 months ago
Separability in the Ambient Logic
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...
Daniel Hirschkoff, Étienne Lozes, Davide Sa...
COORDINATION
2004
Springer
14 years 25 days ago
On Calculi for Context-Aware Coordination
Abstract. Modern distributed computing demands unprecedented levels of dynamicity and reconfiguration. Mobile computing, peer-to-peer networks, computational grids, multiagent sys...
Pietro Braione, Gian Pietro Picco
ICA
2007
Springer
14 years 1 months ago
Is the General Form of Renyi's Entropy a Contrast for Source Separation?
Abstract. Renyi’s entropy-based criterion has been proposed as an objective function for independent component analysis because of its relationship with Shannon’s entropy and i...
Frédéric Vrins, Dinh-Tuan Pham, Mich...
ICASSP
2010
IEEE
13 years 7 months ago
A new method for kurtosis maximization and source separation
This paper introduces a new method to maximize kurtosisbased contrast functions. Such contrast functions appear in the problem of blind source separation of convolutively mixed so...
Marc Castella, Eric Moreau
ICASSP
2008
IEEE
14 years 1 months ago
Blind separation of non-negative sources by convex analysis: Effective method using linear programming
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 ...
Tsung-Han Chan, Wing-Kin Ma, Chong-Yung Chi, Yue W...