7796 search results - page 246 / 1560 » On Generalized Schur Numbers |
146
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
This paper identifies and explores the problem of seed selection in a web-scale crawler. We argue that seed selection is not a trivial but very important problem. Selecting proper...
166
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Search engines provide a small window to the vast repository of data they index and against which they search. They try their best to return the documents that are of relevance to...
155
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
With the increasing number of cars on the road, longer commutes, and the proliferation of complex information and entertainment features, there is a greater need for careful inter...
200
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
177
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...