Sciweavers

1369 search results - page 146 / 274
» On the Semantics of Petri Nets
Sort
View
CSL
2008
Springer
14 years 6 days ago
A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic
We give a graph theoretical criterion on multiplicative additive linear logic (MALL) cut-free proof structures that exactly characterizes those whose interpretation is a hypercliqu...
Paolo Tranquilli
LREC
2008
131views Education» more  LREC 2008»
13 years 12 months ago
Using Semantically Annotated Corpora to Build Collocation Resources
We present an experiment in extracting collocations from the FrameNet corpus, specifically, support verbs such as direct in Environmentalists directed strong criticism at world le...
Margarita Alonso Ramos, Owen Rambow, Leo Wanner
FORTE
2004
13 years 11 months ago
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application
Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF T...
Stephen Gilmore, Valentin Haenel, Jane Hillston, L...
LREC
2010
145views Education» more  LREC 2010»
13 years 12 months ago
Lexicon and Grammar in Bulgarian FrameNet
In this paper, we report on our attempt at assigning semantic information from the English FrameNet to lexical units in the Bulgarian valency lexicon. The paper briefly presents t...
Svetla Koeva
COLING
2010
13 years 5 months ago
Evaluating FrameNet-style semantic parsing: the role of coverage gaps in FrameNet
Supervised semantic role labeling (SRL) systems are generally claimed to have accuracies in the range of 80% and higher (Erk and Pad
Alexis Palmer, Caroline Sporleder