Sciweavers

    1146 search results - page 126 / 230
    » Finite cupping sets
    Sort
    View
    LACL
    1998
    Springer
    113views Automated Reasoning» more  LACL 1998»
    Lambek Calculus Proofs and Tree Automata
    14 years 1 months ago
    Lambek Calculus Proofs and Tree Automata
    Download  www.iwu.edu
    Abstract. We investigate natural deduction proofs of the Lambek calculus from the point of view of tree automata. The main result is that the set of proofs of the Lambek calculus c...
    Hans-Jörg Tiede
    claim paper
    Read More »
    TRECVID
    2008
    148views Internet Technology» more  TRECVID 2008»
    ISM TRECVID2008 High-level Feature Extraction
    13 years 11 months ago
    ISM TRECVID2008 High-level Feature Extraction
    Download  www-nlpir.nist.gov
    We studied a method using support vector machines (SVMs) with walk-based graph kernels for the high-level feature extraction (HLF) task. In this method, each image is first segmen...
    Tomoko Matsui, Jean-Philippe Vert, Shin'ichi Satoh...
    claim paper
    Read More »
    ACL
    2004
    198views Computational Linguistics» more  ACL 2004»
    Discriminative Language Modeling with Conditional Random Fields and the Perceptron Algorithm
    13 years 11 months ago
    Discriminative Language Modeling with Conditional Random Fields and the Perceptron Algorithm
    Download  www.aclweb.org
    This paper describes discriminative language modeling for a large vocabulary speech recognition task. We contrast two parameter estimation methods: the perceptron algorithm, and a...
    Brian Roark, Murat Saraclar, Michael Collins, Mark...
    claim paper
    Read More »
    COLING
    2000
    81views Computational Linguistics» more  COLING 2000»
    Context-Free Grammar Rewriting and the Transfer of Packed Linguistic Representations
    13 years 11 months ago
    Context-Free Grammar Rewriting and the Transfer of Packed Linguistic Representations
    Download  www.aclweb.org
    We propose an algorithm for the trausfer of packed linguistic structures, that is, finite collections of labelled graphs which share certain subparts. A labelled graph is seen as ...
    Marc Dymetman, Frédéric Tendeau
    claim paper
    Read More »
    RIAO
    2000
    111views Information Technology» more  RIAO 2000»
    An Intelligent Text Extraction and Navigation System
    13 years 11 months ago
    An Intelligent Text Extraction and Navigation System
    Download  www.coli.uni-saarland.de
    We present sppc, a high-performance system for intelligent text extraction and navigation from German free text documents. sppc consists of a set of domainindependent shallow core...
    Jakub Piskorski, Günter Neumann
    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.