3931 search results - page 51 / 787 » Separation logic and abstraction |
JCT
2011
14 years 4 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...
TSP
2010
14 years 4 months ago
2010
Abstract--Multiple-input
AAECC
2008
Springer
14 years 10 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 ...
TSP
2010
14 years 4 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...
FMCO
2005
Springer
15 years 3 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...