Sciweavers

    29172 search results - page 5787 / 5835
    » Modeling Systems in CLP
    Sort
    View
    DLOG
    2004
    144views Automated Reasoning» more  DLOG 2004»
    A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN
    13 years 11 months ago
    A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN
    Download  sunsite.informatik.rwth-aachen.de
    We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...
    Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
    claim paper
    Read More »
    DBSEC
    2006
    131views Database» more  DBSEC 2006»
    Interactive Analysis of Attack Graphs Using Relational Queries
    13 years 11 months ago
    Interactive Analysis of Attack Graphs Using Relational Queries
    Download  users.encs.concordia.ca
    Abstract. Attack graph is important in defending against well-orchestrated network intrusions. However, the current analysis of attack graphs requires an algorithm to be developed ...
    Lingyu Wang, Chao Yao, Anoop Singhal, Sushil Jajod...
    claim paper
    Read More »
    DMIN
    2006
    124views Data Mining» more  DMIN 2006»
    Use of Multivariate Data Analysis for Lumber Drying Process Monitoring and Fault Detection
    13 years 11 months ago
    Use of Multivariate Data Analysis for Lumber Drying Process Monitoring and Fault Detection
    Download  ww1.ucmss.com
    Process monitoring refers to the task of detecting abnormal process operations resulting from the shift in the mean and/or the variance of one or more process variables. To success...
    Mouloud Amazouz, Radu Pantea
    claim paper
    Read More »
    EACL
    2006
    ACL Anthology
    138views Natural Language Processing» more  EACL 2006»
    Unifying Synchronous Tree Adjoining Grammars and Tree Transducers via Bimorphisms
    13 years 11 months ago
    Unifying Synchronous Tree Adjoining Grammars and Tree Transducers via Bimorphisms
    Download  www.eecs.harvard.edu
    We place synchronous tree-adjoining grammars and tree transducers in the single overarching framework of bimorphisms, continuing the unification of synchronous grammars and tree t...
    Stuart M. Shieber
    claim paper
    Read More »
    IFIP12
    2004
    193views Information Technology» more  IFIP12 2004»
    An Agency for Semantic-Based Automatic Discovery of Web Services
    13 years 11 months ago
    An Agency for Semantic-Based Automatic Discovery of Web Services
    Download  www-ictserv.poliba.it
    With the evolution of Web service technology, services will not only become increasingly sophisticated, but also move into the area of business-to-consumer and peer-to-peer interac...
    Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
    claim paper
    Read More »
    « Prev « First page 5787 / 5835 Last » Next »
    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.