7773 search results - page 328 / 1555 » On generalized Frame-Stewart numbers |
133
click to vote
CIKM
2007
Springer
16 years 25 days ago
2007
Springer
Taking advantage of the well-known cluster hypothesis that “closely associated documents tend to be relevant to the same request”, we can use inter-document similarity to prov...
171
click to vote
CLEF
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The general photographic ad-hoc retrieval task of the ImageCLEF 2007 evaluation campaign is described. This task provides both the resources and the framework necessary t...
156
click to vote
COCOON
2007
Springer
16 years 25 days ago
2007
Springer
Our motivation for this work is the remarkable discovery that many large-scale real-world graphs ranging from Internet and World Wide Web to social and biological networks exhibit ...
120
click to vote
CSL
2007
Springer
16 years 25 days ago
2007
Springer
We define a notion of relational linear combinatory algebra (rLCA) which is a generalization of a linear combinatory algebra defined by Abramsky, Haghverdi and Scott. We also de...
145
click to vote
ESOP
2007
Springer
16 years 25 days ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...