525 search results - page 7 / 105 » Static Interpretation of Modules |
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
We provide general comparative static results for large finite and infinite-dimensional aggregative games. In aggregative games, each player's payoff depends on her own action...
CAV
2004
Springer
14 years 4 months ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...
ICONIP
2007
14 years 10 days ago
2007
In this study we propose a new ensemble model composed of several linear perceptrons. The objective of this study is to build a piecewise-linear classifier that is not only compet...
ESOP
1999
Springer
14 years 3 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
DLS
2009
13 years 8 months ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...