3342 search results - page 38 / 669 » Automating Abstract Interpretation |
103
click to vote
ISSTA
2009
ACM
15 years 5 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
ISBI
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe the Protein Subcellular Location Image Database (PSLID), which collects and structures 2-D through 5-D fluorescence microscope images, annotations, and derived feature...
109
click to vote
ISBI
2004
IEEE
15 years 11 months ago
2004
IEEE
Fluorescence microscopy is widely used to analyze the distribution of proteins within cells. As currently practiced, the assignment of a protein to a particular organelle is done ...
115
click to vote
ECSQARU
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to...
148
click to vote
HICSS
2003
IEEE
15 years 4 months ago
2003
IEEE
Given societies’ massive investment in information technology and the potentially catastrophic consequences of IT failures, it is becoming increasingly critical to understand ho...