1695 search results - page 28 / 339 » Interactive query refinement |
149
click to vote
CORR
2012
Springer
13 years 9 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
106
click to vote
CIKM
2005
Springer
15 years 7 months ago
2005
Springer
Despite the recent advances in search quality, the fast increase in the size of the Web collection has introduced new challenges for Web ranking algorithms. In fact, there are sti...
119
click to vote
MM
2005
ACM
15 years 7 months ago
2005
ACM
The authors developed an extensible system for video exploitation that puts the user in control to better accommodate novel situations and source material. Visually dense displays...
111
click to vote
SIGIR
2003
ACM
15 years 7 months ago
2003
ACM
Much attention has been paid to the relative effectiveness of interactive query expansion versus automatic query expansion. Although interactive query expansion has the potential ...
250
click to vote
SIGMOD
2005
ACM
16 years 2 months ago
2005
ACM
Database query languages can be intimidating to the nonexpert, leading to the immense recent popularity for keyword based search in spite of its significant limitations. The holy ...