Sciweavers

    2957 search results - page 194 / 592
    » Processing Self Corrections
    Sort
    View
    ICML
    1994
    IEEE
    101views Machine Learning» more  ICML 1994»
    Revision of Production System Rule-Bases
    14 years 1 months ago
    Revision of Production System Rule-Bases
    Download  www.ics.uci.edu
    We describe CLIPS-R, a theory revision system for the revision of CLIPS rule-bases. CLIPS-R differs from previous theory revision systems in that it operates on forward chaining p...
    Patrick M. Murphy, Michael J. Pazzani
    claim paper
    Read More »
    EACL
    2003
    ACL Anthology
    128views Natural Language Processing» more  EACL 2003»
    Talking through Procedures: An Intelligent Space Station Procedure Assistant
    13 years 11 months ago
    Talking through Procedures: An Intelligent Space Station Procedure Assistant
    Download  www.cs.cmu.edu
    We present a prototype system aimed at providing spoken dialogue support for complex procedures aboard the International Space Station. The system allows navigation one line at a ...
    Gregory Aist, John Dowding, Beth Ann Hockey, Manny...
    claim paper
    Read More »
    ISICT
    2003
    165views Information Technology» more  ISICT 2003»
    On the automated implementation of modal logics used to verify security protocols
    13 years 11 months ago
    On the automated implementation of modal logics used to verify security protocols
    Download  www.ece.ul.ie
    : Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
    Tom Coffey, Reiner Dojen, Tomas Flanagan
    claim paper
    Read More »
    EACL
    1993
    ACL Anthology
    94views Natural Language Processing» more  EACL 1993»
    A Discourse Copying Algorithm for Ellipsis and Anaphora Resolution
    13 years 11 months ago
    A Discourse Copying Algorithm for Ellipsis and Anaphora Resolution
    Download  acl.ldc.upenn.edu
    We give an analysis of ellipsis resolution in terms of a straightforward discourse copying algorithm that correctly predicts a wide range of phenomena. The treatment does not suff...
    Andrew Kehler
    claim paper
    Read More »
    MVA
    1990
    100views Computer Vision» more  MVA 1990»
    A High Speed Word Matching Algorithm for Handwritten Chinese Character Recognition
    13 years 10 months ago
    A High Speed Word Matching Algorithm for Handwritten Chinese Character Recognition
    Download  b2.cvl.iis.u-tokyo.ac.jp
    A new high speed word matching algorithm for handwritten Chinese character recomition is presented. Acontinuous string without delimiting space is recognized in real time by using...
    Katsumi Marukawa, Masashi Koga, Yoshihiro Shima, H...
    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.