Sciweavers

57 search results - page 7 / 12
» dagstuhl 2008
Sort
View
DAGSTUHL
2008
13 years 9 months ago
Dualities for Constraint Satisfaction Problems
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 ...
Andrei A. Bulatov, Andrei A. Krokhin, Benoit Laros...
DAGSTUHL
2008
13 years 9 months ago
Interval Subroutine Library Mission
We propose the collection, standardization, and distribution of a full-featured, production quality library for reliable scientific computing with routines using interval technique...
George F. Corliss, R. Baker Kearfott, Nedialko S. ...
DAGSTUHL
2008
13 years 9 months ago
Distributed Bounded-Error Parameter and State Estimation in Networks of Sensors
This paper presents distributed bounded-error parameter and state estimation algorithms suited to measurement processing by a network of sensors. Contrary to centralized estimation...
Michel Kieffer
DAGSTUHL
2008
13 years 9 months ago
A Note on Some Applications of Interval Arithmetic in Hierarchical Solid Modeling
Techniques of reliable computing, like interval arithmetic, can be used to guarantee reliable solutions even in the presence of numerical round-off errors. The need to trace bounds...
Eva Dyllong
DAGSTUHL
2008
13 years 9 months ago
Error Bounds for Lanczos Approximations of Rational Functions of Matrices
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...
Andreas Frommer, Valeria Simoncini