Sciweavers

941 search results - page 20 / 189
» Mathematics on the (Semantic) NET
Sort
View
DEXA
2006
Springer
141views Database» more  DEXA 2006»
14 years 2 months ago
Multi-term Web Query Expansion Using WordNet
In this paper, we propose a method for multi-term query expansions based on WordNet. In our approach, Hypernym/Hyponymy and Synonym relations in WordNet is used as the basic expans...
Zhiguo Gong, Chan Wa Cheang, Leong Hou U
CSL
2008
Springer
14 years 21 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
CONCUR
2005
Springer
14 years 4 months ago
The Individual and Collective Token Interpretations of Petri Nets
Starting from the opinion that the standard firing rule of Petri nets embodies the collective token interpretation of nets rather than their individual token interpretation, I pro...
Rob J. van Glabbeek
LREC
2008
131views Education» more  LREC 2008»
14 years 11 days 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
GPCE
2003
Springer
14 years 4 months ago
SynchNet: A Petri Net Based Coordination Language for Distributed Objects
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
Reza Ziaei, Gul Agha