This paper describes a segmentation technique to automatically extract the myocardium in 4 0 cardiac M R images for quantitative cardiac analysis and the diagnosis of patients. Th...
Marie-Pierre Jolly, Nicolae Duta, Gareth Funka-Lea
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
—This paper describes a new technique, which automatically selects the most appropriate developers for fixing the fault represented by a failing test case, and provides a diagno...
Nonlinear classifiers, e.g., support vector machines (SVMs) with radial basis function (RBF) kernels, have been used widely for automatic diagnosis of diseases because of their hig...
Baek Hwan Cho, Hwanjo Yu, Jong Shill Lee, Young Jo...