Sciweavers

    1328 search results - page 249 / 266
    » Cut-free common knowledge
    Sort
    View
    96
    Voted
    ICWN
    2008
    159views Wireless Networks» more  ICWN 2008»
    Progressive Content-Sensitive Data Retrieval in Sensor Networks
    14 years 11 months ago
    Progressive Content-Sensitive Data Retrieval in Sensor Networks
    Download  www.scipub.org
    : Problem statement: For a sensor network comprising autonomous and self-organizing data sources, efficient similarity-based search for semantic-rich resources (such as video data)...
    Bo Yang, Mareboyana Manohar, Shaoying Kou
    claim paper
    Read More »
    DLOG
    2004
    144views Automated Reasoning» more  DLOG 2004»
    A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN
    14 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 »
    DLOG
    2004
    111views Automated Reasoning» more  DLOG 2004»
    Extended Query Facilities for Racer and an Application to Software-Engineering Problems
    14 years 11 months ago
    Extended Query Facilities for Racer and an Application to Software-Engineering Problems
    Download  www.racer-systems.com
    er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
    Volker Haarslev, Ralf Möller, Ragnhild Van De...
    claim paper
    Read More »
    IAAI
    2001
    80views Artificial Intelligence» more  IAAI 2001»
    TALPS: The T-AVB Automated Load Planning System
    14 years 10 months ago
    TALPS: The T-AVB Automated Load Planning System
    Download  www.aaai.org
    Due to military drawdowns and the need for additional transportation lift requirements, the US MARINE CORPS developed a concept wherein they had modified a commercial container sh...
    Paul S. Cerkez
    claim paper
    Read More »
    EACL
    2003
    ACL Anthology
    129views Natural Language Processing» more  EACL 2003»
    Topological Parsing
    14 years 10 months ago
    Topological Parsing
    Download  www.cs.toronto.edu
    We present a new grammar formalism for parsing with freer word-order languages, motivated by recent linguistic research in German and the Slavic languages. Unlike CFGs, these gram...
    Gerald Penn, Mohammad Haji-Abdolhosseini
    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.