The paper presents an efficient solution to decision problems where direct partial information on the distribution of the states of nature is available, either by observations of ...
We describe an efficient and accurate method for segmenting sets of subcortical structures in 3D MR images of the brain. We first find the approximate position of all the structure...
Kolawole O. Babalola, Timothy F. Cootes, Carole ...
Parallel programming is a requirement in the multi-core era. One of the most promising techniques to make parallel programming available for the general users is the use of parall...
Angeles G. Navarro, Rafael Asenjo, Siham Tabik, Ca...
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
Salman Pervez, Ganesh Gopalakrishnan, Robert M. Ki...
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...
Marcus Denker, Jorge Ressia, Orla Greevy, Oscar Ni...