1863 search results - page 243 / 373 » Automatic Collection of Related Terms from the Web |
186
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
This paper summarizes the work done at the State University of New York at Buffalo (UB) in the GeoCLEF 2006 track. The approach presented uses pure IR techniques (indexing of sing...
222
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
153
click to vote
SIGIR
2005
ACM
16 years 3 hour ago
2005
ACM
The current boom of the Web is associated with the revenues originated from on-line advertising. While search-based advertising is dominant, the association of ads with a Web page...
179
click to vote
ICWS
2004
IEEE
15 years 7 months ago
2004
IEEE
As the set of available Web Services expands, it becomes increasingly important to have automated tools to help identify services that match a requester's requirements. Findi...
148
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
In earlier work we proposed a way for a Web server to detect connectivity information about clients accessing it in order to take tailored actions for a client request. This paper...