Sciweavers

12745 search results - page 458 / 2549
» Automating test automation
Sort
View
DSOM
2004
Springer
16 years 8 days ago
Using Object-Oriented Constraint Satisfaction for Automated Configuration Generation
In this paper, we describe an approach for automatically generating configurations for complex applications. Automated generation of system co nfigurations is required to allow lar...
Tim Hinrichs, Nathaniel Love, Charles J. Petrie, L...
LPNMR
2004
Springer
16 years 7 days ago
Towards Automated Integration of Guess and Check Programs in Answer Set Programming
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and checkâ...
Thomas Eiter, Axel Polleres
ISQED
2010
IEEE
137views Hardware» more  ISQED 2010»
16 years 6 days ago
Automated silicon debug data analysis techniques for a hardware data acquisition environment
Abstract—Silicon debug poses a unique challenge to the engineer because of the limited access to internal signals of the chip. Embedded hardware such as trace buffers helps overc...
Yu-Shen Yang, Brian Keng, Nicola Nicolici, Andreas...
3DIM
2003
IEEE
16 years 5 days ago
Deformable Model with Adaptive Mesh and Automated Topology Changes
Due to their general and robust formulation deformable models offer a very appealing approach to 3D image segmentation. However there is a trade-off between model genericity, mode...
Jacques-Olivier Lachaud, Benjamin Taton
CSB
2003
IEEE
113views Bioinformatics» more  CSB 2003»
16 years 5 days ago
A Personalized and Automated dbSNP Surveillance System
The development of high throughput techniques and large-scale studies in the biological sciences has given rise to an explosive growth in both the volume and types of data availab...
Shuo Liu, Steve Lin, Mark Woon, Teri E. Klein, Rus...