3504 search results - page 271 / 701 » Computational Aspects of Equilibria |
213
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
169
click to vote
CCGRID
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper shows how lightpath-based networks can allow challenging, fine-grained parallel supercomputing applications to be run on a grid, using parallel retrograde analysis on ...
203
click to vote
CLUSTER
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper describes the application of various search techniques to the problem of automatic empirical code optimization. The search process is a critical aspect of auto-tuning...
249
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
The paper presents a model of visual attention combined with eye tracking to drive content-based retrieval of image data in order to facilitate understanding and development of ne...
210
click to vote
IEEESCC
2008
IEEE
16 years 1 months ago
2008
IEEE
Services can be characterized as activities in which providers and customers co-create value. The need for a tight collaboration between providers and customers is thus an importa...