Sciweavers

188 search results - page 25 / 38
» On the Unification of Process Semantics: Observational Seman...
Sort
View
FORTE
2008
14 years 11 months ago
Checking Correctness of Transactional Behaviors
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guan...
EMNLP
2009
14 years 7 months ago
Clustering to Find Exemplar Terms for Keyphrase Extraction
Keyphrases are widely used as a brief summary of documents. Since manual assignment is time-consuming, various unsupervised ranking methods based on importance scores are proposed...
Zhiyuan Liu, Peng Li, Yabin Zheng, Maosong Sun
EMNLP
2009
14 years 7 months ago
Recognizing Textual Relatedness with Predicate-Argument Structures
In this paper, we first compare several strategies to handle the newly proposed three-way Recognizing Textual Entailment (RTE) task. Then we define a new measurement for a pair of...
Rui Wang 0005, Yi Zhang 0003
JOCN
2011
94views more  JOCN 2011»
14 years 4 months ago
Establishing Causal Coherence across Sentences: An ERP Study
■ This study examined neural activity associated with establishing causal relationships across sentences during on-line comprehension. ERPs were measured while participants read...
Gina R. Kuperberg, Martin Paczynski, Tali Ditman
PKDD
2009
Springer
94views Data Mining» more  PKDD 2009»
15 years 4 months ago
OTTHO: On the Tip of My THOught
In this paper we propose a system to solve a language game, called Guillotine, which requires a player with a strong cultural and linguistic background knowledge. The player obser...
Pierpaolo Basile, Marco Degemmis, Pasquale Lops, G...