Sciweavers

567 search results - page 1 / 114
» Play the Language: Play Coreference
Sort
View
ACL
2009
13 years 1 months ago
Play the Language: Play Coreference
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&...
ACL
2009
13 years 1 months ago
Conundrums in Noun Phrase Coreference Resolution: Making Sense of the State-of-the-Art
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...
TACAS
2007
Springer
117views Algorithms» more  TACAS 2007»
13 years 9 months ago
Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning
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...
DAGSTUHL
2003
13 years 5 months ago
Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach
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
POPL
2012
ACM
11 years 11 months ago
Playing in the grey area of proofs
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...