Sciweavers

3151 search results - page 20 / 631
» Using query term order for result summarisation
Sort
View
172
Voted
FROCOS
2011
Springer
14 years 3 months ago
Harnessing First Order Termination Provers Using Higher Order Dependency Pairs
Many functional programs and higher order term rewrite systems contain, besides higher order rules, also a significant first order part. We discuss how an automatic termination p...
Carsten Fuhs, Cynthia Kop
146
Voted
ICIP
2006
IEEE
16 years 5 months ago
Image Retrieval using Long-Term Semantic Learning
The automatic computation of features for content-based image retrieval still has difficulties to represent the concepts the user has in mind. Whenever an additional learning stra...
Matthieu Cord, Philippe Henri Gosselin
153
Voted
ERCIMDL
1999
Springer
154views Education» more  ERCIMDL 1999»
15 years 7 months ago
Effectiveness of Keyword-Based Display and Selection of Retrieval Results for Interactive Searches
Abstract. We present an approach to increasing the effectiveness of rankedoutput retrieval systems that relies on graphical display and user manipulation of “views” of retrieva...
Ezio Berenci, Claudio Carpineto, Vittorio Giannini...
WWW
2009
ACM
16 years 4 months ago
Answering approximate queries over autonomous web databases
To deal with the problem of empty or too little answers returned from a Web database in response to a user query, this paper proposes a novel approach to provide relevant and rank...
Xiangfu Meng, Z. M. Ma, Li Yan
130
Voted
DASFAA
2004
IEEE
123views Database» more  DASFAA 2004»
15 years 7 months ago
A Meta-search Method with Clustering and Term Correlation
A meta-search engine propagates user queries to its participant search engines following a server selection strategy. To facilitate server selection, the metasearch engine must ke...
Dyce Jing Zhao, Dik Lun Lee, Qiong Luo