3931 search results - page 51 / 787 » Separation logic and abstraction |
135
click to vote
JCT
2011
15 years 1 months ago
2011
Abstract. We consider a finite dimensional indecomposable modular representation of a cyclic p-group and we give a recursive description of an associated separating set: We show t...
177
click to vote
AAECC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we show that the separable decomposition of a univariate polynomial can be computed in softly optimal time, in terms of the number of arithmetic operations ...
187
click to vote
TSP
2010
15 years 1 months ago
2010
Abstract--We consider the separation of Gaussian sources exhibiting general, arbitrary (not necessarily stationary) covariance structures. First, assuming a semi-blind scenario, in...
151
click to vote
FMCO
2005
Springer
16 years 7 days 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...