Sciweavers

1897 search results - page 354 / 380
» Early application identification
Sort
View
DAC
2002
ACM
14 years 10 months ago
Solving difficult SAT instances in the presence of symmetry
Research in algorithms for Boolean satisfiability and their efficient implementations [26, 8] has recently outpaced benchmarking efforts. Most of the classic DIMACS benchmarks fro...
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Kare...
MICCAI
2006
Springer
14 years 10 months ago
A New CAD System for the Evaluation of Kidney Diseases Using DCE-MRI
Acute rejection is the most common reason of graft failure after kidney transplantation, and early detection is crucial to survive the transplanted kidney function. In this paper, ...
Ayman El-Baz, Rachid Fahmi, Seniha Esen Yuksel, Al...
SIGSOFT
2008
ACM
14 years 10 months ago
Requirements engineering: from craft to discipline
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
Axel van Lamsweerde
SIGSOFT
2007
ACM
14 years 10 months ago
Training on errors experiment to detect fault-prone software modules by spam filter
The fault-prone module detection in source code is of importance for assurance of software quality. Most of previous fault-prone detection approaches are based on software metrics...
Osamu Mizuno, Tohru Kikuno
ISBI
2004
IEEE
14 years 10 months ago
Evaluation of Arterial Endothelial Function Using Transit Times of Artificially Induced Pulses
Background: Impairment of arterial endothelial function is an early event in atherosclerosis and correlates with the major risk factors for cardiovascular disease. The most widely...
Jonathan Maltz, Thomas Budinger