3068 search results - page 1 / 614 » Separation Results on the |
CONCUR
2008
Springer
13 years 7 months ago
2008
Springer
In this paper, we present a unified approach to evaluating the relative expressive power of process calculi. In particular, we identify a small set of criteria (that have already b...
ICA
2007
Springer
13 years 11 months ago
2007
Springer
This article provides an overview of the first stereo audio source separation evaluation campaign, organized by the authors. Fifteen underdetermined stereo source separation algor...
ISCAS
1995
IEEE
13 years 8 months ago
1995
IEEE
We describe an algorithm and chip implementation for separating a mixture of unknown, but independent, temporal signals in static and dynamic environments. The proposed algorithm,...
FMCO
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. We compare the expressive power of process calculi by studying the problem of electing a leader in a symmetric network of processes. We consider the π-calculus with mixe...
MFCS
1989
Springer
13 years 9 months ago
1989
Springer
In this paper we review the key results about space bounded complexity classes, discuss the central open problems and outline the prominent proof techniques. We show that, for a s...