14084 search results - page 341 / 2817 » A Theory for Game Theories |
232
click to vote
NFM
2011
15 years 1 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
151
click to vote
TIP
2011
15 years 1 months ago
2011
This paper explores the mathematical and algorithmic properties of two sample-based microtexture models: random phase noise (RPN ) and asymptotic discrete spot noise (ADSN ). Thes...
153
click to vote
JNS
2010
2010
Initiation of Cracks in Griffith's Theory: An Argument of Continuity in Favor of Global Minimization
15 years 1 months ago
The initiation of a crack in a sound body is a real issue in the setting of Griffith's theory of brittle fracture. If one uses the concept of critical energy release rate (Gri...
211
click to vote
IWMM
2011
Springer
14 years 9 months ago
2011
Springer
The goal of cache management is to maximize data reuse. Collaborative caching provides an interface for software to communicate access information to hardware. In theory, it can o...
155
Voted
PODC
2011
ACM
14 years 9 months ago
2011
ACM
We put forward a general theory of goal-oriented communication, where communication is not an end in itself, but rather a means to achieving some goals of the communicating partie...