4725 search results - page 763 / 945 » Dependence-Based Program Analysis |
131
click to vote
BMCBI
2011
14 years 8 months ago
2011
Background: We developed an extendable open-source Loop-mediated isothermal AMPlification (LAMP) signature design program called LAVA (LAMP Assay Versatile Analysis). LAVA was cre...
147
click to vote
ICDAR
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—In this paper, we present a novel languageindependent algorithm for extracting text-lines from handwritten document images. Our algorithm is based on the seam carving ap...
125
click to vote
SAS
2009
Springer
16 years 5 months ago
2009
Springer
Polyhedra: An Abstract Domain to Infer Interval Linear Relationships Liqian Chen1,2 , Antoine Min?e2,3 , Ji Wang1 , and Patrick Cousot2,4 1 National Laboratory for Parallel and Dis...
154
click to vote
SAS
2009
Springer
16 years 5 months ago
2009
Springer
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...
163
click to vote
KDD
2006
ACM
16 years 5 months ago
2006
ACM
This paper describes a novel classification method for computer aided detection (CAD) that identifies structures of interest from medical images. CAD problems are challenging larg...