3504 search results - page 243 / 701 » Computational Aspects of Equilibria |
157
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Due to the technological evolution, context-aware computing is slowly moving from dream to reality. These applications heavily rely in sensing the user’s environment and ing ...
203
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we introduce a new algorithm for model order reduction in the presence of parameter or process variation. Our analysis is performed using a graph interpretation of t...
192
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
192
click to vote
ACII
2007
Springer
16 years 1 months ago
2007
Springer
In past years, computer game designers have tried to increase player engagement by improving the believability of characters and environment. Today, the focus is shifting toward im...
207
click to vote
LFCS
2007
Springer
16 years 1 months ago
2007
Springer
We introduce a natural deduction formulation for the Logic of Proofs, a refinement of modal logic S4 in which the assertion PA is replaced by [[s]]A whose intended reading is “s...