10715 search results - page 1927 / 2143 » From Tests to Proofs |
164
Voted
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
We study relations on trees defined by first-order constraints over a vocabulary that includes the tree extension relation Ì Ì ¼, holding if and only if every branch of Ì ex...
227
click to vote
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
Comparative evaluation of visualization and experiment results is a critical step in computational steering. In this paper, we present a study of image comparison metrics for quan...
183
Voted
DAS
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents a new document image binarization technique that segments the text from badly degraded historical document images. The proposed technique makes use of the imag...
189
click to vote
ICIAR
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The Scale Invariant Feature Transform (SIFT) is an algorithm used to detect and describe scale-, translation- and rotation-invariant local features in images. The origina...
145
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
The existence and use of standard test collections in information retrieval experimentation allows results to be compared between research groups and over time. Such comparisons, ...