Sciweavers

12399 search results - page 2157 / 2480
» Deformable structural models
Sort
View
SIGSOFT
2007
ACM
16 years 7 months ago
A specification-based approach to testing software product lines
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, ...
168
Voted
SIGSOFT
2001
ACM
16 years 7 months ago
An empirical study on the utility of formal routines to transfer knowledge and experience
Most quality and software process improvement frameworks emphasize written (i.e. formal) documentation to convey recommended work practices. However, there is considerable skeptic...
Reidar Conradi, Tore Dybå
ISBI
2002
IEEE
16 years 7 months ago
A geometric flow for white matter fibre tract reconstruction
In magnetic resonance diffusion tensor imaging (DTI), the direction and magnitude of diffusion of water molecules is characterized by a diffusion tensor. In the central nervous sy...
Jennifer S. W. Campbell, Kaleem Siddiqi, Baba C. V...
ISBI
2006
IEEE
16 years 7 months ago
Using surface normals to localize subdural intracranial electrodes placed during neurosurgery
Clinical and research neurosurgical studies involving the use of intracranial electroencephalography and cortical stimulation depend critically on accurate localization of electro...
James P. O'Shea, William M. Wells III, Alexandra G...
ISBI
2008
IEEE
16 years 7 months ago
Knee reconstruction through efficient linear programming
In this paper we propose a novel method to recover the 3D shape of the knee and of the prosthesis for the patients that have undergone total knee replacement surgery. We address t...
Mihai Sardarescu, Nikos Paragios, Nikos Komodakis,...
« Prev « First page 2157 / 2480 Last » Next »