3238 search results - page 336 / 648 » Not Enough Points Is Enough |
144
click to vote
AIRS
2005
Springer
16 years 9 days ago
2005
Springer
Query expansion techniques generally select new query terms from a set of top ranked documents. Although a user’s manual judgment of those documents would much help to select goo...
156
click to vote
APPROX
2005
Springer
16 years 9 days ago
2005
Springer
A q-ary error-correcting code C ⊆ {1, 2, . . . , q}n is said to be list decodable to radius ρ with list size L if every Hamming ball of radius ρ contains at most L codewords o...
186
click to vote
CALCO
2005
Springer
16 years 9 days ago
2005
Springer
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoret...
133
click to vote
CIARP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper presents a new approach to the question of surface grading based on soft colour-texture descriptors and well known classifiers. These descriptors come from gl...
161
click to vote
CIE
2005
Springer
16 years 9 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...