DAGSTUHL
2008
13 years 6 months ago
2008
DAGSTUHL
2008
13 years 6 months ago
2008
Existing selfverifying solvers for dense linear (interval-)systems in C-XSC provide high accuracy, but are rather slow. A new set of solvers is presented, which are a lot faster th...
DAGSTUHL
2008
13 years 6 months ago
2008
Abstract. Building interval software interoperability can be a good solution when re-using high-quality legacy code or when accessing functionalities unavailable natively in one of...
DAGSTUHL
2008
13 years 6 months ago
2008
Abstract. Having good estimates or even bounds for the error in computing approximations to expressions of the form f(A)v is very important in practical applications. In this paper...
DAGSTUHL
2008
13 years 6 months ago
2008
DAGSTUHL
2008
13 years 6 months ago
2008
In this paper, we provide new error-free transformations for the sum and the product of two floating-point numbers. These error-free transformations are well suited for the CELL pr...
DAGSTUHL
2008
13 years 6 months ago
2008
This paper presents distributed bounded-error parameter and state estimation algorithms suited to measurement processing by a network of sensors. Contrary to centralized estimation...
DAGSTUHL
2008
13 years 6 months ago
2008
DAGSTUHL
2008
13 years 6 months ago
2008
Abstract. We describe an algebraic approach to the constraint satisfaction problem (CSP) and present recent results on the CSP that make use of, in an essential way, this algebraic...
DAGSTUHL
2008
13 years 6 months ago
2008
In a nutshell, a duality for a constraint satisfaction problem equates the existence of one homomorphism to the non-existence of other homomorphisms. In this survey paper, we give ...