Sciweavers

272 search results - page 47 / 55
» Program slicing
Sort
View
IJIT
2004
13 years 11 months ago
Lung Nodule Detection in CT Scans
In this paper we describe a computer-aided diagnosis (CAD) system for automated detection of pulmonary nodules in computed-tomography (CT) images. After extracting the pulmonary pa...
Michela Antonelli, Graziano Frosini, Beatrice Lazz...
IEEEINTERACT
2003
IEEE
14 years 3 months ago
Compiler Support for Dynamic Speculative Pre-Execution
Speculative pre-execution is a promising prefetching technique which uses an auxiliary assisting thread in addition to the main program flow. A prefetching thread (p-thread), whic...
Won Woo Ro, Jean-Luc Gaudiot
IFL
2004
Springer
122views Formal Methods» more  IFL 2004»
14 years 3 months ago
Source-Based Trace Exploration
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
Olaf Chitil
MICCAI
2002
Springer
14 years 10 months ago
Intra-patient Prone to Supine Colon Registration for Synchronized Virtual Colonoscopy
Abstract. In this paper, we present an automated method for colon registration. The method uses dynamic programming to align data defined on colon center-line paths, as extracted f...
Delphine Nain, Steven Haker, W. Eric L. Grimson, E...
ICML
2008
IEEE
14 years 10 months ago
Beam sampling for the infinite hidden Markov model
The infinite hidden Markov model is a nonparametric extension of the widely used hidden Markov model. Our paper introduces a new inference algorithm for the infinite Hidden Markov...
Jurgen Van Gael, Yunus Saatci, Yee Whye Teh, Zoubi...