Sciweavers

3527 search results - page 317 / 706
» Test Automation in Practice
Sort
View
ICCBR
2007
Springer
15 years 11 months ago
Mining Large-Scale Knowledge Sources for Case Adaptation Knowledge
Abstract. Making case adaptation practical is a longstanding challenge for casebased reasoning. One of the impediments to widespread use of automated case adaptation is the adaptat...
David B. Leake, Jay H. Powell
EDOC
2006
IEEE
15 years 11 months ago
Model Driven Design of Distribution Patterns for Web Service Compositions
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...
Ronan Barrett, Claus Pahl
SYNASC
2006
IEEE
91views Algorithms» more  SYNASC 2006»
15 years 11 months ago
MATHsAiD: A Mathematical Theorem Discovery Tool
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...
Roy L. McCasland, Alan Bundy
ISQED
2005
IEEE
140views Hardware» more  ISQED 2005»
15 years 10 months ago
Toward Quality EDA Tools and Tool Flows Through High-Performance Computing
As the scale and complexity of VLSI circuits increase, Electronic Design Automation (EDA) tools become much more sophisticated and are held to increasing standards of quality. New...
Aaron N. Ng, Igor L. Markov
142
Voted
DAS
2004
Springer
15 years 10 months ago
Tilting at Windmills: Adventures in Attempting to Reconstruct Don Quixote
Despite the current practice of re-keying most documents placed in digital libraries, we continue to try to improve accuracy of automated recognition techniques for obtaining docum...
A. Lawrence Spitz