Sciweavers

    681 search results - page 19 / 137
    » Parsing as Natural Deduction
    Sort
    View
    EACL
    1989
    ACL Anthology
    101views Natural Language Processing» more  EACL 1989»
    Interactive Incremental Chart Parsing
    14 years 10 months ago
    Interactive Incremental Chart Parsing
    Download  acl.ldc.upenn.edu
    Mats Wirén
    claim paper
    Read More »
    51
    Voted
    EMNLP
    2009
    127views Natural Language Processing» more  EMNLP 2009»
    Non-Projective Parsing for Statistical Machine Translation
    14 years 7 months ago
    Non-Projective Parsing for Statistical Machine Translation
    Download  www.lsi.upc.edu
    Xavier Carreras, Michael Collins
    claim paper
    Read More »
    EMNLP
    2011
    143views Natural Language Processing» more  EMNLP 2011»
    Accurate Parsing with Compact Tree-Substitution Grammars: Double-DOP
    13 years 9 months ago
    Accurate Parsing with Compact Tree-Substitution Grammars: Double-DOP
    Download  aclweb.org
    Federico Sangati, Willem Zuidema
    claim paper
    Read More »
    TLCA
    2007
    Springer
    115views Theoretical Computer Science» more  TLCA 2007»
    An Isomorphism Between Cut-Elimination Procedure and Proof Reduction
    15 years 3 months ago
    An Isomorphism Between Cut-Elimination Procedure and Proof Reduction
    Download  www.sato.kuis.kyoto-u.ac.jp
    Abstract. This paper introduces a cut-elimination procedure of the intuitionistic sequent calculus and shows that it is isomorphic to the proof reduction of the intuitionistic natu...
    Koji Nakazawa
    claim paper
    Read More »
    CORR
    2000
    Springer
    107views Education» more  CORR 2000»
    Computing Presuppositions by Contextual Reasoning
    14 years 9 months ago
    Computing Presuppositions by Contextual Reasoning
    Download  www.aaai.org
    This paper describes howautomated deduction methods for natural language processing can be applied moreefficiently by encodingcontext in a moreelaborate way. Our workis based on f...
    Christof Monz
    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.