3424 search results - page 499 / 685 » Automated Testing of Classes |
171
click to vote
ICFEM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
153
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
172
click to vote
KDD
2001
ACM
16 years 6 months ago
2001
ACM
Given a dataset, each element of which labeled by one of k labels, we construct by a very fast algorithm, a k-category proximal support vector machine (PSVM) classifier. Proximal s...
171
click to vote
PODS
2005
ACM
16 years 6 months ago
2005
ACM
We are often interested to test whether a given cause has a given effect. If we cannot specify the nature of the factors involved, such tests are called model-free studies. There ...
167
click to vote
DAS
2010
Springer
15 years 11 months ago
2010
Springer
Whole-book recognition is a document image analysis strategy that operates on the complete set of a book’s page images, attempting to improve accuracy by automatic unsupervised ...