8512 search results - page 329 / 1703 » Computing Theory With Relevance |
159
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...
193
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
The problem of selecting a subset of relevant features in a potentially overwhelming quantity of data is classic and found in many branches of science. Examples in computer vision...
149
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
This paper validates a recognition system using bidimensional wavelet transforms as feature extractor and investigates the relevance of each subband image in the recognition proce...
166
click to vote
SIBGRAPI
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a comparative study of color descriptors for content-based image retrieval on the Web. Several image descriptors were compared theoretically and the most relev...
178
click to vote
SOFSEM
2004
Springer
16 years 2 days ago
2004
Springer
We propose an efficient approach for finding relevant XML data twigs defined by unordered query tree specifications. We use the tree signatures as the index structure and find...