1189 search results - page 171 / 238 » The Quotient of an Abstract Interpretation |
AIME
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Mammographic analysis is a difficult task due to the complexity of image interpretation. This results in diagnostic uncertainty, thus provoking the need for assistance by...
ARCS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Java is widely deployed on a variety of processor architectures. Consequently, an understanding of microarchitecture level Java performance is critical to optimize curren...
ARGMAS
2009
Springer
14 years 3 months ago
2009
Springer
Each person holds numerous values that represent what is believed to be important. As a result, our values influence our behavior and play a role in practical reasoning. Various a...
FM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
KI
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Our proposed software system, SceneMaker, aims to facilitate the production of plays, films or animations by automatically interpreting natural language film scripts an...