100 search results - page 13 / 20 » A Case for Automated Debugging Using Data Structure Repair |
MICCAI
2003
Springer
14 years 8 months ago
2003
Springer
Abstract. Knowledge of brain aneurysm dimensions is essential in minimally invasive surgical interventions using Guglielmi Detachable Coils. These parameters are obtained in clinic...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
ICLP
2007
Springer
13 years 11 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
BMCBI
2007
13 years 7 months ago
2007
Background: Experimentally determined protein structures may contain errors and require validation. Conformational criteria based on the Ramachandran plot are mainly used to disti...
HCI
2009
13 years 5 months ago
2009
Delivering tailor-made ERP software requires automation of screen and printed report creation to be cost effective. Screens generated directly from data structures tend to have poo...