941 search results - page 64 / 189 » Mathematics on the (Semantic) NET |
102
click to vote
ACL
2001
15 years 2 months ago
2001
This paper describes automatic techniques for mapping 9611 entries in a database of English verbs to WordNet senses. The verbs were initially grouped into 491 classes based on syn...
114
Voted
GG
2010
Springer
15 years 1 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
105
Voted
ENTCS
2000
15 years 15 days ago
2000
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...
116
Voted
IALP
2010
14 years 10 months ago
2010
This paper describes an attempt to build a lexical database for the Yami language, an Austronesian endangered language. As the Yami language documentation and conservation project...
108
Voted
COLING
2010
14 years 7 months ago
2010
The use of semantic information to improve IR is a long-standing goal. This paper presents a novel Document Expansion method based on a WordNet-based system to find related concep...