Sciweavers

    1097 search results - page 89 / 220
    » Partial evaluation of Maple
    Sort
    View
    FMOODS
    2007
    139views Formal Methods» more  FMOODS 2007»
    Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
    13 years 11 months ago
    Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
    Download  faculty.uoit.ca
    The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
    L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
    claim paper
    Read More »
    LREC
    2008
    86views Education» more  LREC 2008»
    Tools for Collocation Extraction: Preferences for Active vs. Passive
    13 years 11 months ago
    Tools for Collocation Extraction: Preferences for Active vs. Passive
    Download  www.lrec-conf.org
    We present and partially evaluate procedures for the extraction of noun+verb collocation candidates from German text corpora, along with their morphosyntactic preferences, especia...
    Ulrich Heid, Marion Weller
    claim paper
    Read More »
    ACL
    2003
    119views Computational Linguistics» more  ACL 2003»
    A Tabulation-Based Parsing Method that Reduces Copying
    13 years 11 months ago
    A Tabulation-Based Parsing Method that Reduces Copying
    Download  www.aclweb.org
    This paper presents a new bottom-up chart parsing algorithm for Prolog along with a compilation procedure that reduces the amount of copying at run-time to a constant number (2) p...
    Gerald Penn, Cosmin Munteanu
    claim paper
    Read More »
    ICMLA
    2004
    114views Machine Learning» more  ICMLA 2004»
    Planning with predictive state representations
    13 years 11 months ago
    Planning with predictive state representations
    Download  www.eecs.umich.edu
    Predictive state representation (PSR) models for controlled dynamical systems have recently been proposed as an alternative to traditional models such as partially observable Mark...
    Michael R. James, Satinder P. Singh, Michael L. Li...
    claim paper
    Read More »
    AAAI
    1997
    125views Intelligent Agents» more  AAAI 1997»
    Complex Goal Criteria and Its Application in Design-to-Criteria Scheduling
    13 years 11 months ago
    Complex Goal Criteria and Its Application in Design-to-Criteria Scheduling
    Download  www.aaai.org
    Difficult real-time AI problems require a means for expressing multi-dimensional and dynamic goal criteria and a principled model for satisficing to best meet the criteria. In the...
    Thomas Wagner, Alan Garvey, Victor R. Lesser
    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.