3342 search results - page 145 / 669 » Automating Abstract Interpretation |
106
Voted
DEXA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...
110
Voted
BILDMED
2008
15 years 4 months ago
2008
Abstract. We present an image analysis approach as part of a highthroughput microscopy screening system based on cell arrays for the identification of genes involved in Hepatitis C...
77
Voted
SWAP
2008
15 years 4 months ago
2008
Abstract. Core Competence evaluation is crucial for strategical choices in knowledge intensive companies. Such a process is usually manually performed by the management on the basi...
115
Voted
BILDMED
2006
15 years 4 months ago
2006
Abstract. Magnetic Resonance Spectroscopic Imaging (MRSI) measures relative concentrations of metabolites in vivo and can thus be used for the diagnosis of certain tumors. We intro...
220
Voted
ASIAN
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. We presents a compositional Hoare logic for proving semantic security of modes of operation for symmetric key block ciphers. We propose a simple programming language to s...