1190 search results - page 92 / 238 » You are There |
RV
2010
Springer
13 years 6 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...
SAGT
2010
Springer
13 years 6 months ago
2010
Springer
The PPAD-completeness of Nash equilibrium computation is taken as evidence that the problem is computationally hard in the worst case. This evidence is necessarily rather weak, in ...
SCIENTOMETRICS
2010
13 years 6 months ago
2010
SISAP
2010
IEEE
13 years 6 months ago
2010
IEEE
SYNTHESE
2010
13 years 6 months ago
2010
: Some intuitive normative principles raise vexing „detaching problems‟ by their failure to license modus ponens. I examine three such principles (a self-reliance principle and...