3527 search results - page 381 / 706 » Test Automation in Practice |
112
click to vote
ILP
2004
Springer
15 years 9 months ago
2004
Springer
This paper focuses on inductive learning of recursive logical theories from a set of examples. This is a complex task where the learning of one predicate definition should be inter...
145
click to vote
ISMIR
2004
Springer
15 years 9 months ago
2004
Springer
This investigation aims at finding an optimal way of measuring the similarity of melodies. The applicability for an automated analysis and classification was tested on a folk song...
127
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
This article provides an experimental analysis of the possibilistic handling of default rules. Three different nonmonotonic consequence relations are considered: minimum specifici...
139
click to vote
NMR
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferenti...
146
click to vote
EUROSEC
2010
ACM
15 years 9 months ago
2010
ACM
CAPTCHA is a standard security technology that presents tests to tell computers and humans apart. In this paper, we examine the security of a new CAPTCHA that was deployed until v...