Sciweavers

773 search results - page 64 / 155
» Program Slicing by Calculation
Sort
View
IJIT
2004
15 years 3 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...
SIGCSE
2008
ACM
120views Education» more  SIGCSE 2008»
15 years 2 months 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...
ICFP
2004
ACM
16 years 2 months 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
107
Voted
EUROGP
2003
Springer
101views Optimization» more  EUROGP 2003»
15 years 7 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
BMCBI
2006
150views more  BMCBI 2006»
15 years 2 months 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