Sciweavers

    588 search results - page 85 / 118
    » A Domain Specific Language for Cryptography
    Sort
    View
    TPHOL
    1998
    IEEE
    148views Automated Reasoning» more  TPHOL 1998»
    Program Abstraction in a Higher-Order Logic Framework
    13 years 12 months ago
    Program Abstraction in a Higher-Order Logic Framework
    Download  www.fmi.uni-stuttgart.de
    Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
    Marco Benini, Sara Kalvala, Dirk Nowotka
    claim paper
    Read More »
    SWAP
    2008
    200views Internet Technology» more  SWAP 2008»
    Exploiting Semantic Technology in Computational Logic-based Service Contracting
    13 years 9 months ago
    Exploiting Semantic Technology in Computational Logic-based Service Contracting
    Download  sunsite.informatik.rwth-aachen.de
    Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
    Marco Alberti, Massimiliano Cattafi, Marco Gavanel...
    claim paper
    Read More »
    ACL
    2006
    100views Computational Linguistics» more  ACL 2006»
    A Discriminative Global Training Algorithm for Statistical MT
    13 years 9 months ago
    A Discriminative Global Training Algorithm for Statistical MT
    Download  www.mt-archive.info
    This paper presents a novel training algorithm for a linearly-scored block sequence translation model. The key component is a new procedure to directly optimize the global scoring...
    Christoph Tillmann, Tong Zhang
    claim paper
    Read More »
    ANLP
    2000
    114views more  ANLP 2000»
    A Tool for Automated Revision of Grammars for NLP Systems
    13 years 9 months ago
    A Tool for Automated Revision of Grammars for NLP Systems
    Download  www.aclweb.org
    We present an algorithm and a tool for automatically revising grammars for natural language processing (NLP) systems to disallow specifically identified sentences or sets of sente...
    Nanda Kambhatla, Wlodek Zadrozny
    claim paper
    Read More »
    COLING
    2000
    130views Computational Linguistics» more  COLING 2000»
    Automatic Extraction of Semantic Relations from Specialized Corpora
    13 years 9 months ago
    Automatic Extraction of Semantic Relations from Specialized Corpora
    Download  acl.ldc.upenn.edu
    In this paper we address the problem of discovering word semantic similarities via statistical processing of text corpora. We propose a knowledge-poor method that exploits the sen...
    Aristomenis Thanopoulos, Nikos Fakotakis, George K...
    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.