1863 search results - page 204 / 373 » Automatic Collection of Related Terms from the Web |
156
click to vote
FROCOS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
171
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
The ready availability of online source code examples has changed the cost structure of programming by example modification. However, current search tools are wholly separate from...
142
click to vote
HT
2010
ACM
15 years 11 months ago
2010
ACM
The rise of social interactions on the Web requires developing new methods of information organization and discovery. To that end, we propose a generative community-based probabil...
188
click to vote
HT
2009
ACM
15 years 4 months ago
2009
ACM
In this short note we present a recommendation system for automatic retrieval of broken Web links using an approach based on contextual information. We extract information from th...
178
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
In this paper, we describe an application, PubCloud that uses tag clouds for the summarization of results from queries over the PubMed database of biomedical literature. PubCloud ...