Sciweavers

3527 search results - page 13 / 706
» Test Automation in Practice
Sort
View
124
Voted
LICS
1999
IEEE
15 years 8 months ago
On Hoare Logic and Kleene Algebra with Tests
Dexter Kozen
113
Voted
DLOG
1996
15 years 5 months ago
A New Method for Testing Decision Procedures in Modal and Terminological Logics
Fausto Giunchiglia, Marco Roveri, Roberto Sebastia...
124
Voted
EUROSYS
2006
ACM
16 years 23 days 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...
126
Voted
ISBI
2007
IEEE
15 years 10 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...
229
Voted
EC
2011
262views ECommerce» more  EC 2011»
14 years 10 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