Sciweavers

3527 search results - page 13 / 706
» Test Automation in Practice
Sort
View
DLOG
1996
14 years 11 months ago
A New Method for Testing Decision Procedures in Modal and Terminological Logics
Fausto Giunchiglia, Marco Roveri, Roberto Sebastia...
EUROSYS
2006
ACM
15 years 6 months ago
Automated known problem diagnosis with event traces
Computer problem diagnosis remains a serious challenge to users and support professionals. Traditional troubleshooting methods relying heavily on human intervention make the proce...
Chun Yuan, Ni Lao, Ji-Rong Wen, Jiwei Li, Zheng Zh...
ISBI
2007
IEEE
15 years 4 months ago
Automated Segmentation of the Right Heart Using an Optimized Shells and Spheres Algorithm
We have developed a novel framework for medical image analysis, known as Shells and Spheres. This framework utilizes spherical operators of variable radius centered at each image ...
Aaron Cois, Ken J. Rockot, John M. Galeotti, Rober...
EC
2011
262views ECommerce» more  EC 2011»
14 years 4 months ago
Computer-Automated Evolution of an X-Band Antenna for NASA's Space Technology 5 Mission
Whereas the current practice of designing antennas by hand is severely limited because it is both time and labor intensive and requires a significant amount of domain knowledge, ...
Gregory Hornby, Jason D. Lohn, Derek S. Linden