Sciweavers

    DAGSTUHL
    2008
    135views Software Engineering» more  DAGSTUHL 2008»
    Continued Fractions for Special Functions: Handbook and Software
    13 years 9 months ago
    Continued Fractions for Special Functions: Handbook and Software
    Download  wis.kuleuven.be
    Annie A. M. Cuyt, Franky Backeljauw, Stefan Becuwe...
    claim paper
    Read More »
    DAGSTUHL
    2008
    139views Software Engineering» more  DAGSTUHL 2008»
    Error-Free Transformation in Rounding Mode toward Zero
    13 years 9 months ago
    Error-Free Transformation in Rounding Mode toward Zero
    Download  perso.ens-lyon.fr
    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...
    Stef Graillat, Jean Luc Lamotte, Diep Nguyen Hong
    claim paper
    Read More »
    DAGSTUHL
    2008
    121views Software Engineering» more  DAGSTUHL 2008»
    Distributed Bounded-Error Parameter and State Estimation in Networks of Sensors
    13 years 9 months ago
    Distributed Bounded-Error Parameter and State Estimation in Networks of Sensors
    Download  www.lss.supelec.fr
    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
    claim paper
    Read More »
    DAGSTUHL
    2008
    99views Software Engineering» more  DAGSTUHL 2008»
    Complete Interval Arithmetic and Its Implementation on the Computer
    13 years 9 months ago
    Complete Interval Arithmetic and Its Implementation on the Computer
    Download  www.cs.utep.edu
    Ulrich W. Kulisch
    claim paper
    Read More »
    DAGSTUHL
    2008
    107views Software Engineering» more  DAGSTUHL 2008»
    Recent Results on the Algebraic Approach to the CSP
    13 years 9 months ago
    Recent Results on the Algebraic Approach to the CSP
    Download  www.math.mcmaster.ca
    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...
    Andrei A. Bulatov, Matthew Valeriote
    claim paper
    Read More »
    DAGSTUHL
    2008
    116views Software Engineering» more  DAGSTUHL 2008»
    Dualities for Constraint Satisfaction Problems
    13 years 9 months ago
    Dualities for Constraint Satisfaction Problems
    Download  www.dur.ac.uk
    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...
    claim paper
    Read More »
    DAGSTUHL
    2008
    117views Software Engineering» more  DAGSTUHL 2008»
    Present and Future of Practical SAT Solving
    13 years 9 months ago
    Present and Future of Practical SAT Solving
    Download  www.swan.ac.uk
    Oliver Kullmann
    claim paper
    Read More »
    DAGSTUHL
    2008
    118views Software Engineering» more  DAGSTUHL 2008»
    Constraint Satisfaction Problems with Infinite Templates
    13 years 9 months ago
    Constraint Satisfaction Problems with Infinite Templates
    Download  www.lix.polytechnique.fr
    Allowing templates with infinite domains greatly expands the range of problems that can be formulated as a non-uniform constraint satisfaction problem. It turns out that many CSPs ...
    Manuel Bodirsky
    claim paper
    Read More »
    DAGSTUHL
    2008
    84views Software Engineering» more  DAGSTUHL 2008»
    Robustness and Randomness
    13 years 9 months ago
    Robustness and Randomness
    Download  drops.dagstuhl.de
    Dominique Michelucci, Jean-Michel Moreau, Sebti Fo...
    claim paper
    Read More »
    DAGSTUHL
    2008
    114views Software Engineering» more  DAGSTUHL 2008»
    Interval Arithmetic Using SSE-2
    13 years 9 months ago
    Interval Arithmetic Using SSE-2
    Download  www.brics.dk
    ABSTRACT. We present an implementation of double precision interval arithmetic using the single-instruction-multiple-data SSE-2 instruction and register set extensions. The impleme...
    Branimir Lambov
    claim paper
    Read More »
    « first‹ previous…308309310311312313314315316…next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.