4447 search results - page 284 / 890 » Model Checking Games |
136
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
148
Voted
FDG
2009
ACM
15 years 2 months ago
2009
ACM
This poster describes a framework that automatically generates learning support scaffolds to guide task-based learning. The aim is to combine the exploratory learning principles p...
184
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We propose a simple yet rich model to extend the notions of Nash equilibria and correlated equilibria of strategic games to the quantum setting, in which we then study the relatio...
165
Voted
JMLR
2010
14 years 11 months ago
2010
This paper presents a game theoretic approach to causal discovery. The problem of causal discovery is framed as a game of the Scientist against Nature, in which Nature attempts to...
135
click to vote
WCE
2007
15 years 6 months ago
2007
— Industrial plants makes a carefully trace of the human intervention on the process. This intervention happens at different points in the history of the facility, since the desi...