Sciweavers

    1421 search results - page 101 / 285
    » Satisfying KBO Constraints
    Sort
    View
    AMW
    2010
    137views Knowledge Management» more  AMW 2010»
    On the Decidability of Consistent Query Answering
    13 years 9 months ago
    On the Decidability of Consistent Query Answering
    Download  sunsite.informatik.rwth-aachen.de
    Abstract. Consistent query answering (CQA) is about formally characterizing and computing semantically correct answers to queries posed to a database that may fail to satisfy certa...
    Marcelo Arenas, Leopoldo E. Bertossi
    claim paper
    Read More »
    JVCA
    2008
    112views more  JVCA 2008»
    Constraint-based motion synthesis for deformable models
    13 years 8 months ago
    Constraint-based motion synthesis for deformable models
    Download  gamma.cs.unc.edu
    We present a fast goal-directed motion synthesis technique that integrates sample-based planning methods with constraint-based dynamics simulation using a finite element formulati...
    William Moss, Ming C. Lin, Dinesh Manocha
    claim paper
    Read More »
    SIAMCO
    2008
    121views more  SIAMCO 2008»
    Numerical Verification of Optimality Conditions
    13 years 8 months ago
    Numerical Verification of Optimality Conditions
    Download  www.matheon.de
    A class of optimal control problem for a semilinear elliptic partial differential equation with control constraints is considered. It is well known that sufficient second-order con...
    Arnd Rösch, Daniel Wachsmuth
    claim paper
    Read More »
    TODAES
    2008
    47views more  TODAES 2008»
    A tool for automatic detection of deadlock in wormhole networks on chip
    13 years 8 months ago
    A tool for automatic detection of deadlock in wormhole networks on chip
    Download  www.lsv.ens-cachan.fr
    We present an extension of Duato's necessary and sufficient condition a routing function must satisfy in order to be deadlock-free, to support environment constraints inducing...
    Sami Taktak, Jean Lou Desbarbieux, Emmanuelle Encr...
    claim paper
    Read More »
    PODS
    2006
    ACM
    98views Database» more  PODS 2006»
    Two-variable logic on data trees and XML reasoning
    14 years 8 months ago
    Two-variable logic on data trees and XML reasoning
    Download  lrb.cs.uni-dortmund.de
    d Abstract] Mikolaj Boja?nczyk Faculty of Mathematics, Informatics and Mechanics Warsaw University Poland Claire David LIAFA Universit?e Paris 7 France Anca Muscholl LIAFA Universi...
    Mikolaj Bojanczyk, Claire David, Anca Muscholl, Th...
    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-2024, USA.