2686 search results - page 163 / 538 » Testing metric properties |
145
click to vote
ALT
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. Three simple and explicit procedures for testing the independence of two multi-dimensional random variables are described. Two of the associated test statistics (L1, log-...
157
click to vote
CONCUR
2006
Springer
15 years 9 months ago
2006
Springer
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...
131
click to vote
MSR
2006
ACM
15 years 11 months ago
2006
ACM
In this paper we combine the results of our refactoring reconstruction technique with bug, mail and release information to perform process and bug analyses of the ARGOUML CVS arch...
153
click to vote
ISW
2004
Springer
15 years 11 months ago
2004
Springer
CAPTCHAs are tests that distinguish humans from software robots in an online environment [3, 14, 7]. We propose and implement three CAPTCHAs based on naming images, distinguishing ...
134
Voted
GREC
2003
Springer
15 years 10 months ago
2003
Springer
The Arc Segmentation Contest, as the fifth in the series of graphics recognition contests organized by IAPR TC10, was held in association with the GREC’2003 workshop. In this pap...