Sciweavers

1713 search results - page 56 / 343
» Analysis of Procedure Splitability
Sort
View
PAA
2008
13 years 9 months ago
Diagnosis of lung nodule using Moran's index and Geary's coefficient in computerized tomography images
This paper analyzes the application of Moran's index and Geary's coefficient to the characterization of lung nodules as malignant or benign in computerized tomography ima...
Erick Corrêa da Silva, Aristófanes Co...
ICCS
2000
Springer
14 years 25 days ago
Conceptual Knowledge Discovery and Data Analysis
In this paper, we discuss Conceptual Knowledge Discovery in Databases (CKDD) in its connection with Data Analysis. Our approach is based on Formal Concept Analysis, a mathematical ...
Joachim Hereth Correia, Gerd Stumme, Rudolf Wille,...
ECOOP
1995
Springer
14 years 24 days ago
Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis
Optimizing compilers for object-oriented languages apply static class analysis and other techniques to try to deduce precise information about the possible classes of the receivers...
Jeffrey Dean, David Grove, Craig Chambers
SAS
2010
Springer
143views Formal Methods» more  SAS 2010»
13 years 7 months ago
Points-to Analysis as a System of Linear Equations
The efficiency of a points-to analysis is critical for several compiler optimizations and transformations, and has attracted considerable research attention. Despite several advanc...
Rupesh Nasre, Ramaswamy Govindarajan
CC
2006
Springer
108views System Software» more  CC 2006»
14 years 29 days ago
Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...
Teck Bok Tok, Samuel Z. Guyer, Calvin Lin