39 search results - page 6 / 8 » Reasoning and identifying relevant matches for XML keyword s... |
LPAR
2012
Springer
12 years 3 months ago
2012
Springer
E-matching is the most commonly used technique to handle quantifiers in SMT solvers. It works by identifying characteristic subexpressions of quantified formulae, named triggers,...
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
The leading web search engines have spent a decade building highly specialized ranking functions for English web pages. One of the reasons these ranking functions are effective is...
CIKM
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we address the problem of unsupervised Web data extraction. We show that unsupervised Web data extraction becomes feasible when supposing pages that are made up of r...
KDD
2006
ACM
14 years 7 months ago
2006
ACM
In recent years there has been an increased interest in frequent pattern discovery in large databases of graph structured objects. While the frequent connected subgraph mining pro...
SIGIR
1999
ACM
13 years 11 months ago
1999
ACM
Previous examinations of search in textual archives have assumed that users first retrieve a ranked set of documents relevant to their query, and then visually scan through these ...