12745 search results - page 360 / 2549 » Automating test automation |
185
click to vote
ICCBR
2005
Springer
16 years 7 days ago
2005
Springer
The rapid growth of data stored in molecular biology-related databases has stimulated the development of integrative tools for retrieval and presentation of the data in the form of...
156
click to vote
ICBA
2004
Springer
16 years 3 days ago
2004
Springer
This paper addresses the problem of developing an automated system for postmortem identification using dental records. The Automated Dental Identification System (ADIS) can be use...
173
click to vote
PRICAI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
179
click to vote
RTA
2004
Springer
16 years 2 days ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
176
click to vote
SETN
2004
Springer
16 years 2 days ago
2004
Springer
Collecting digital materials is time-consuming and can gain from automation. Since each source—and even each acquisition—may involve a separate negotiation of terms, a collecto...