Sciweavers

941 search results - page 39 / 189
» Mathematics on the (Semantic) NET
Sort
View
LPNMR
2001
Springer
14 years 3 months ago
Bounded LTL Model Checking with Stable Models
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
Keijo Heljanko, Ilkka Niemelä
LREC
2008
72views Education» more  LREC 2008»
14 years 12 days ago
Extraction of Attribute Concepts from Japanese Adjectives
ibe various syntactic and semantic conditions for finding abstract nouns which refer to concepts of adjectives from a text, in an attempt to explore the creation of a thesaurus fr...
Kyoko Kanzaki, Francis Bond, Noriko Tomuro, Hitosh...
ACL
2007
14 years 13 days ago
PageRanking WordNet Synsets: An Application to Opinion Mining
This paper presents an application of PageRank, a random-walk model originally devised for ranking Web search results, to ranking WordNet synsets in terms of how strongly they pos...
Andrea Esuli, Fabrizio Sebastiani
LREC
2010
167views Education» more  LREC 2010»
14 years 13 days ago
FrameNet Translation Using Bilingual Dictionaries with Evaluation on the English-French Pair
Semantic Role Labeling cannot be performed without an associated linguistic resource. A key resource for such a task is the FrameNet resource based on Fillmore's theory of fr...
Claire Mouton, Gaël de Chalendar, Benoî...
LREC
2010
183views Education» more  LREC 2010»
14 years 13 days ago
Lexical Semantic Resources in a Terminological Network
A research has been carried on and is still in progress aimed at the construction of three specialized lexicons organized as databases of relational type. The three databases cont...
Rita Marinelli, Adriana Roventini, Giovanni Spadon...