Sciweavers

    567 search results - page 1 / 114
    » Play the Language: Play Coreference
    Sort
    View
    ACL
    2009
    107views Computational Linguistics» more  ACL 2009»
    Play the Language: Play Coreference
    13 years 8 months ago
    Play the Language: Play Coreference
    Download  www.aclweb.org
    We propose the PlayCoref game, whose purpose is to obtain substantial amount of text data with the coreference annotation. We provide a description of the game design that covers ...
    Barbora Hladká, Jirí Mírovsk&...
    claim paper
    Read More »
    ACL
    2009
    125views Computational Linguistics» more  ACL 2009»
    Conundrums in Noun Phrase Coreference Resolution: Making Sense of the State-of-the-Art
    13 years 8 months ago
    Conundrums in Noun Phrase Coreference Resolution: Making Sense of the State-of-the-Art
    Download  www.cs.cornell.edu
    We aim to shed light on the state-of-the-art in NP coreference resolution by teasing apart the differences in the MUC and ACE task definitions, the assumptions made in evaluation ...
    Veselin Stoyanov, Nathan Gilbert, Claire Cardie, E...
    claim paper
    Read More »
    TACAS
    2007
    Springer
    117views Algorithms» more  TACAS 2007»
    Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning
    14 years 5 months ago
    Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning
    Download  www4.in.tum.de
    This paper is concerned with bridging the gap between requirements, provided as a set of scenarios, and conforming design models. The novel aspect of our approach is to exploit lea...
    Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern...
    claim paper
    Read More »
    DAGSTUHL
    2003
    127views Software Engineering» more  DAGSTUHL 2003»
    Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach
    14 years 7 days ago
    Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach
    Download  www-omega.imag.fr
    The play-in/play-out approach is a method for specifying and developing complex reactive systems. It is built upon a scenariobased philosophy, and uses the language of live sequenc...
    David Harel, Hillel Kugler, Gera Weiss
    claim paper
    Read More »
    POPL
    2012
    ACM
    259views Programming Languages» more  POPL 2012»
    Playing in the grey area of proofs
    12 years 6 months ago
    Playing in the grey area of proofs
    Download  www.complang.tuwien.ac.at
    Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
    Krystof Hoder, Laura Kovács, Andrei Voronko...
    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.