Sciweavers

    1514 search results - page 281 / 303
    » Cues to Common Knowledge
    Sort
    View
    DLOG
    2004
    111views Automated Reasoning» more  DLOG 2004»
    Extended Query Facilities for Racer and an Application to Software-Engineering Problems
    13 years 9 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
    13 years 9 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
    13 years 9 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 »
    IADIS
    2003
    118views Internet Technology» more  IADIS 2003»
    Information Management and Interoperability Strategies: The Case for Digital Identifiers
    13 years 9 months ago
    Information Management and Interoperability Strategies: The Case for Digital Identifiers
    Download  www.iadis.net
    The move from the current compartmentalised systems into an interoperable environment is the central challenge facing digital development this decade. In the quest for a semantic ...
    Robin Wilson
    claim paper
    Read More »
    IM
    2003
    130views Computer Networks» more  IM 2003»
    Generic On-Line Discovery of Quantitative Models for Service Level Management
    13 years 9 months ago
    Generic On-Line Discovery of Quantitative Models for Service Level Management
    Download  researchweb.watson.ibm.com
    : Quantitative models are needed for a variety of management tasks, including (a) identification of critical variables to use for health monitoring, (b) anticipating service level...
    Yixin Diao, Frank Eskesen, Steve Froehlich, Joseph...
    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.