CORR
2011
Springer
13 years 4 months ago
2011
Springer
CORR
2011
Springer
13 years 4 months ago
2011
Springer
Complementation of finite automata on infinite words is not only a fundamental problem in automata theory, but also serves as a cornerstone for solving numerous decision problem...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
This paper is devoted to the blind separation of convolutive mixtures of possibly non circular linearly modulated signals with unknown (and possibly different) baud rates and carr...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
Motivated by the desire to cope with data imprecision [8], we study methods for preprocessing a set of planar regions such that whenever we are given a set of points, each of whic...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
CORR
2011
Springer
13 years 4 months ago
2011
Springer
CORR
2011
Springer
13 years 4 months ago
2011
Springer
We study the attribution problem, that is, the problem of attributing a change in the value of a characteristic function f to its independent variables. We make three contributions...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
CORR
2011
Springer
13 years 4 months ago
2011
Springer