Sciweavers

4983 search results - page 102 / 997
» order 2008
Sort
View
AIML
1998
15 years 2 months ago
A Resolution-Based Decision Procedure for Extensions of K4
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
Harald Ganzinger, Ullrich Hustadt, Christoph Meyer...
115
Voted
COLING
2000
15 years 2 months ago
A Client/Server Architecture for Word Sense Disambiguation
This paper presents a robust client/server implementation of a word sense disambiguator for English. This system associates a word with its meaning in a given context using dictio...
Caroline Brun
112
Voted
COLING
1994
15 years 2 months ago
TGE: Tlinks Generation Environment
This paper describes the enhancements made, within a unification framework, based on typed feature structures, in order to support linking of lexical entries to their translation ...
Alicia Ageno, Francesc Ribas, German Rigau, Horaci...
80
Voted
DM
2008
58views more  DM 2008»
15 years 23 days ago
The vertex isoperimetric problem for the powers of the diamond graph
We introduce a new graph for all whose cartesian powers the vertex isoperimetric problem has nested solutions. This is the fourth kind of graphs with this property besides the wel...
Sergei L. Bezrukov, Miquel Rius, Oriol Serra
104
Voted
IPM
2007
83views more  IPM 2007»
15 years 18 days ago
Information retrieval performance measures for a current awareness report composition aid
This papers studies a special “small” information retrieval problem where user satisfaction only depends on the ordering of documents. We look for a retrieval performance meas...
Thomas Krichel