Sciweavers

773 search results - page 64 / 155
» Program Slicing by Calculation
Sort
View
101
Voted
IJIT
2004
15 years 1 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...
70
Voted
SIGCSE
2008
ACM
120views Education» more  SIGCSE 2008»
15 years 14 days ago
A system for developing tablet pc applications for education
We describe a new system for building Tablet PC-based classroom software. The system, called SLICE, is built for extensibility, using a unique "explicit state" model. Ap...
Sam Kamin, Michael Hines, Chad Peiper, Boris Capit...
104
Voted
ICFP
2004
ACM
16 years 16 days ago
Translating dependency into parametricity
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...
Stephen Tse, Steve Zdancewic
92
Voted
EUROGP
2003
Springer
101views Optimization» more  EUROGP 2003»
15 years 5 months ago
An Enhanced Framework for Microprocessor Test-Program Generation
Test programs are fragment of code, but, unlike ordinary application programs, they are not intended to solve a problem, nor to calculate a function. Instead, they are supposed to ...
Fulvio Corno, Giovanni Squillero
113
Voted
BMCBI
2006
150views more  BMCBI 2006»
15 years 18 days ago
CGAT: a comparative genome analysis tool for visualizing alignments in the analysis of complex evolutionary changes between clos
Background: The recent accumulation of closely related genomic sequences provides a valuable resource for the elucidation of the evolutionary histories of various organisms. Howev...
Ikuo Uchiyama, Toshio Higuchi, Ichizo Kobayashi