1914 search results - page 312 / 383 » Verification by Abstract Interpretation |
ARCS
2009
Springer
14 years 4 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 4 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 4 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 4 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...
PKDD
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We address the problem of joint feature selection in multiple related classification or regression tasks. When doing feature selection with multiple tasks, usually one c...