1403 search results - page 21 / 281 » Quantitative Interprocedural Analysis |
87
Voted
MICCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Regional assessment of lung disease (such as chronic obstructive pulmonary disease) is a critical component to accurate patient diagnosis. Software tools than enable such...
90
Voted
CCS
2009
ACM
15 years 8 months ago
2009
ACM
We propose a framework for quantitative security analysis of machine learning methods. Key issus of this framework are a formal specification of the deployed learning model and a...
107
Voted
GIS
2010
ACM
14 years 11 months ago
2010
ACM
Rensselaer Polytechnic Institute Troy, NY Levee overtopping can lead to failure and cause catastrophic damage, as was the case during Hurricane Katrina. We present a computer simu...
101
Voted
JSS
2000
15 years 28 days ago
2000
The upstream activities of software development projects are often viewed as both the most important, the least understood, and hence the most problematic. This is particularly no...
122
Voted
IPPS
2005
IEEE
15 years 6 months ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...