Sciweavers

2944 search results - page 156 / 589
» On Well Quasi-orders on Languages
Sort
View
101
Voted
LREC
2008
112views Education» more  LREC 2008»
15 years 2 months ago
Modeling Document Dynamics: an Evolutionary Approach
News articles about the same event published over time have properties that challenge NLP and IR applications. A cluster of such texts typically exhibits instances of paraphrase a...
Jahna Otterbacher, Dragomir R. Radev
FPCA
1995
15 years 4 months ago
Pi-Calculus, Dialogue Games and PCF
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
J. M. E. Hyland, C.-H. Luke Ong
BPM
2005
Springer
129views Business» more  BPM 2005»
15 years 6 months ago
Transforming BPEL to Petri Nets
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
Sebastian Hinz, Karsten Schmidt 0004, Christian St...
110
Voted
IJCNLP
2005
Springer
15 years 6 months ago
Parsing the Penn Chinese Treebank with Semantic Knowledge
Abstract. We build a class-based selection preference sub-model to incorporate external semantic knowledge from two Chinese electronic semantic dictionaries. This sub-model is comb...
Deyi Xiong, Shuanglong Li, Qun Liu, Shouxun Lin, Y...
135
Voted
TIME
2003
IEEE
15 years 6 months ago
Hybrid Logics on Linear Structures: Expressivity and Complexity
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
Massimo Franceschet, Maarten de Rijke, Bernd-Holge...