Sciweavers

    1199 search results - page 18 / 240
    » Automated Extraction of Problem Structure
    Sort
    View
    LICS
    2006
    IEEE
    151views Automated Reasoning» more  LICS 2006»
    A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics
    14 years 1 months ago
    A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics
    Download  basics.sjtu.edu.cn
    d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
    Marcelo P. Fiore, Sam Staton
    claim paper
    Read More »
    ACL
    2011
    237views Computational Linguistics» more  ACL 2011»
    Knowledge-Based Weak Supervision for Information Extraction of Overlapping Relations
    12 years 11 months ago
    Knowledge-Based Weak Supervision for Information Extraction of Overlapping Relations
    Download  www.cs.washington.edu
    Information extraction (IE) holds the promise of generating a large-scale knowledge base from the Web’s natural language text. Knowledge-based weak supervision, using structured...
    Raphael Hoffmann, Congle Zhang, Xiao Ling, Luke S....
    claim paper
    Read More »
    COMAD
    2009
    167views Knowledge Management» more  COMAD 2009»
    A Feasibility Study on Automating the Automotive Insurance Claims Processing
    13 years 8 months ago
    A Feasibility Study on Automating the Automotive Insurance Claims Processing
    Download  www.cse.iitb.ac.in
    In this paper, we present a feasibility study in automating the insurance claims processing system related to automotive sector. In automobile insurance claims processing, usually...
    Jayanta Basak, Desmond Lim
    claim paper
    Read More »
    FTDB
    2008
    82views more  FTDB 2008»
    Information Extraction
    13 years 7 months ago
    Information Extraction
    Download  www.it.iitb.ac.in
    The automatic extraction of information from unstructured sources has opened up new avenues for querying, organizing, and analyzing data by drawing upon the clean semantics of str...
    Sunita Sarawagi
    claim paper
    Read More »
    DAC
    2005
    ACM
    115views Computer Architecture» more  DAC 2005»
    Automated nonlinear Macromodelling of output buffers for high-speed digital applications
    14 years 8 months ago
    Automated nonlinear Macromodelling of output buffers for high-speed digital applications
    Download  potol.eecs.berkeley.edu
    We present applications of a recently developed automated nonlinear macromodelling approach to the important problem of macromodelling high-speed output buffers/drivers. Good nonl...
    Ning Dong, Jaijeet S. Roychowdhury
    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.