Sciweavers

1445 search results - page 165 / 289
» XPath query containment
Sort
View
69
Voted
HICSS
2002
IEEE
130views Biometrics» more  HICSS 2002»
15 years 3 months ago
A Novel Method for Detecting Similar Documents
We describe a system for rapidly determining document similarity among a set of documents obtained from an information retrieval (IR) system. We obtain a ranked list of the most i...
James W. Cooper, Anni Coden, Eric W. Brown
97
Voted
ADBIS
2004
Springer
193views Database» more  ADBIS 2004»
15 years 1 months ago
Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints
Abstract. We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boo...
Peter Z. Revesz
FAW
2008
Springer
111views Algorithms» more  FAW 2008»
14 years 12 months ago
Efficient First-Order Model-Checking Using Short Labels
We prove that there exists an O(log(n))-labeling scheme for every first-order formula with free set variables in every class of graphs that is nicely locally cwd-decomposable, whic...
Bruno Courcelle, Cyril Gavoille, Mamadou Moustapha...
HCI
2007
14 years 11 months ago
Pictogram Retrieval Based on Collective Semantics
Abstract. To retrieve pictograms having semantically ambiguous interpretations, we propose a semantic relevance measure which uses pictogram interpretation words collected from a w...
Heeryon Cho, Toru Ishida, Rieko Inaba, Toshiyuki T...
TREC
2003
14 years 11 months ago
Towards a Sense Based Document Representation for Internet Information Retrieval
We describe an attempt to use word sense as an alternate text representation within an information retrieval system in order to enhance retrieval effectiveness. A performance comp...
Christopher Stokoe, John Tait