432 search results - page 41 / 87 » Type Inference for COBOL Systems |
PLDI
2010
ACM
14 years 23 days ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
DIAGRAMS
2006
Springer
13 years 11 months ago
2006
Springer
This paper discusses the types of communicative signals that frequently appear in simple bar charts and how we exploit them as evidence in our system for inferring the intended mes...
POPL
2008
ACM
14 years 8 months ago
2008
ACM
When scripts in untyped languages grow into large programs, maintaining them becomes difficult. A lack of types in typical scripting languages means that programmers must (re)disc...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
In this paper, we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of different evoluti...
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
The subcellular location of proteins is most often determined by visual interpretation of fluorescence microscope images. In recent years, automated systems have been developed so...