395 search results - page 31 / 79 » Towards a theory of search queries |
ATAL
2003
Springer
14 years 20 days ago
2003
Springer
Personalized information agents can help overcome some of the limitations of communal Web information sources such as portals and search engines. Two important components of these...
WWW
2011
ACM
13 years 4 months ago
2011
ACM
Our objective is to improve the performance of keyword based image search engines by re-ranking their baseline results. To this end, we address three limitations of existing searc...
JCDL
2006
ACM
14 years 3 months ago
2006
ACM
Currently in document retrieval there are many algorithms each with different strengths and weakness. There is some difficulty, however, in evaluating the impact of the test quer...
CIKM
2005
Springer
14 years 2 months ago
2005
Springer
Peer-to-peer (p2p) systems offer an efficient means of data sharing among a dynamically changing set of a large number of autonomous nodes. Each node in a p2p system is connected...
RTA
2005
Springer
14 years 2 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...