2728 search results - page 404 / 546 » The EGTV Query Language |
153
Voted
ICDT
2005
ACM
15 years 10 months ago
2005
ACM
We give two sufficient conditions on XPath like languages for having first order expressivity, meaning that every first order definable set of paths in an ordered node-labeled t...
144
Voted
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
136
Voted
NLDB
2004
Springer
15 years 10 months ago
2004
Springer
—Most Web and legacy paper-based documents are available in human comprehensible text form, not readily accessible to or understood by computer programs. Here, we investigate an ...
148
Voted
FOCS
2003
IEEE
15 years 10 months ago
2003
IEEE
We give a complexity theoretic classification of homomorphism problems for graphs and, more generally, relational structures obtained by restricting the left hand side structure ...
110
Voted
CLEF
2003
Springer
15 years 10 months ago
2003
Springer
Motivated by the hypothesis that the retrieval performance of a weighting model is independent of the language in which queries and collection are expressed, we compared the retrie...