Sciweavers

    950 search results - page 99 / 190
    » presence 2008
    Sort
    View
    SIAMCOMP
    2008
    100views more  SIAMCOMP 2008»
    On the Complexity of Verifying Consistency of XML Specifications
    14 years 9 months ago
    On the Complexity of Verifying Consistency of XML Specifications
    Download  homepages.inf.ed.ac.uk
    XML specifications often consist of a type definition (typically, a DTD) and a set of integrity constraints. It has been shown previously that such specifications can be inconsiste...
    Marcelo Arenas, Wenfei Fan, Leonid Libkin
    claim paper
    Read More »
    SIAMSC
    2008
    187views more  SIAMSC 2008»
    The Generalized Singular Value Decomposition and the Method of Particular Solutions
    14 years 9 months ago
    The Generalized Singular Value Decomposition and the Method of Particular Solutions
    Download  www-public.tu-bs.de
    A powerful method for solving planar eigenvalue problems is the Method of Particular Solutions (MPS), which is also well known under the name "point matching method". In ...
    Timo Betcke
    claim paper
    Read More »
    SIAMSC
    2008
    151views more  SIAMSC 2008»
    Accurate Floating-Point Summation Part I: Faithful Rounding
    14 years 9 months ago
    Accurate Floating-Point Summation Part I: Faithful Rounding
    Download  www.ti3.tu-harburg.de
    Given a vector of floating-point numbers with exact sum s, we present an algorithm for calculating a faithful rounding of s, i.e. the result is one of the immediate floating-point ...
    Siegfried M. Rump, Takeshi Ogita, Shin'ichi Oishi
    claim paper
    Read More »
    IJRR
    2007
    80views more  IJRR 2007»
    Combined Path-following and Obstacle Avoidance Control of a Wheeled Robot
    14 years 9 months ago
    Combined Path-following and Obstacle Avoidance Control of a Wheeled Robot
    Download  www.lirmm.fr
    This paper proposes an algorithm that drives a unicycle type robot to a desired path, including obstacle avoidance capabilities. The path-following control design relies on Lyapun...
    Lionel Lapierre, René Zapata, Pascal L&eacu...
    claim paper
    Read More »
    TASLP
    2008
    101views more  TASLP 2008»
    Speaker Identification Using Instantaneous Frequencies
    14 years 9 months ago
    Speaker Identification Using Instantaneous Frequencies
    Download  cspeech.ucd.ie
    This work presents an experimental evaluation of different features for use in speaker identification. The features are tested using speech data provided by the CHAINS corpus, in a...
    Marco Grimaldi, Fred Cummins
    claim paper
    Read More »
    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-2025, USA.