237 search results - page 35 / 48 » Ensuring Correctness at the Application Level: a Software Fr... |
JCB
2008
13 years 8 months ago
2008
Large-scale whole genome association studies are increasingly common, due in large part to recent advances in genotyping technology. With this change in paradigm for genetic studi...
SEMWEB
2001
Springer
14 years 27 days ago
2001
Springer
New approaches in the Web environment are underway. These new methodologies try to leverage it from an information medium to a knowledgeable level, from a machine point of view. Th...
ISBI
2006
IEEE
14 years 9 months ago
2006
IEEE
Nonlinear registration of 3D surfaces is important in many medical imaging applications, including the mapping of longitudinal changes in anatomy, or of multi-subject functional M...
MBEES
2010
13 years 6 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
ESEC
1999
Springer
14 years 22 days ago
1999
Springer
Traditional interprocedural data-flow analysis is performed on whole programs; however, such whole-program analysis is not feasible for large or incomplete programs. We propose fr...