2322 search results - page 126 / 465 » On a game in directed graphs |
198
click to vote
TIDSE
2004
Springer
15 years 11 months ago
2004
Springer
The Interactive Dilemma is the inevitable conflict between author’s determinism and interactor’s freedom. There are some approaches that try to tackle it, using strategies and...
158
click to vote
ACMACE
2007
ACM
15 years 10 months ago
2007
ACM
In this workshop we investigate a possible role of brain-computer interaction in computer games and entertainment computing. The assumption is that brain activity, whether it is c...
195
click to vote
ICMT
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. The QVT Relations (QVT-R) transformation language allows the definition of bidirectional model transformations, which are required in cases where a two (or more) models ...
168
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We provide in this article two characterisation results, describing exactly which terms verify the dinaturality diagram, in Church-style system F and in Curry-style system F. The ...
185
click to vote
EJC
2008
15 years 6 months ago
2008
Tension-continuous (shortly TT) mappings are mappings between the edge sets of graphs. They generalize graph homomorphisms. From another perspective, tension-continuous mappings a...