Sciweavers

    305 search results - page 7 / 61
    » A Logical Framework to Deal with Variability
    Sort
    View
    DAC
    1999
    ACM
    124views Computer Architecture» more  DAC 1999»
    Improved Approximate Reachability Using Auxiliary State Variables
    15 years 4 months ago
    Improved Approximate Reachability Using Auxiliary State Variables
    Download  www.cecs.uci.edu
    Approximate reachability techniques trade o accuracy for the capacity to deal with bigger designs. Cho et al 4 proposed partitioning the set of state bits into mutually disjoint s...
    Shankar G. Govindaraju, David L. Dill, Jules P. Be...
    claim paper
    Read More »
    WWW
    2005
    ACM
    84views Internet Technology» more  WWW 2005»
    XQuery containment in presence of variable binding dependencies
    16 years 15 days ago
    XQuery containment in presence of variable binding dependencies
    Download  www.www2005.org
    Semantic caching is an important technology for improving the response time of future user queries specified over remote servers. This paper deals with the fundamental query conta...
    Li Chen, Elke A. Rundensteiner
    claim paper
    Read More »
    ICPR
    2008
    IEEE
    137views Computer Vision» more  ICPR 2008»
    Incremental machine learning techniques for document layout understanding
    16 years 1 months ago
    Incremental machine learning techniques for document layout understanding
    Download  www.di.uniba.it
    In real-world Digital Libraries, Artificial Intelligence techniques are essential for tackling the automatic document processing task with sufficient flexibility. The great variab...
    Floriana Esposito, Marenglen Biba, Stefano Ferilli...
    claim paper
    Read More »
    UAI
    2004
    153views Artificial Intelligence» more  UAI 2004»
    A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge
    15 years 1 months ago
    A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge
    Download  cs.uns.edu.ar
    Defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning from incomplete and potentially inconsistent knowledge. ...
    Carlos Iván Chesñevar, Guillermo Ric...
    claim paper
    Read More »
    ENTCS
    2007
    84views more  ENTCS 2007»
    A Rewriting Logic Framework for Soft Constraints
    14 years 11 months ago
    A Rewriting Logic Framework for Soft Constraints
    Download  www-formal.stanford.edu
    Soft constraints extend classical constraints to deal with non-functional requirements, overconstrained problems and preferences. Bistarelli, Montanari and Rossi have developed a ...
    Martin Wirsing, Grit Denker, Carolyn L. Talcott, A...
    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.