1653 search results - page 147 / 331 » Computer science and game theory |
AGI
2008
14 years 11 months ago
2008
We give a brief overview of the main characteristics of diagrammatic reasoning, analyze a case of human reasoning in a mastermind game, and explain why hybrid representation system...
STACS
1997
Springer
15 years 2 months ago
1997
Springer
Exotic semirings such as the “(max, +) semiring” (R ∪ {−∞}, max, +), or the “tropical semiring” (N ∪ {+∞}, min, +), have been invented and reinvented many times s...
83
Voted
RTA
2010
Springer
15 years 2 months ago
2010
Springer
Infinitary Term Rewriting allows to express infinitary terms and infinitary reductions that converge to them. As their notion of transfinite reduction in general, and as binary...
VAST
2004
ACM
15 years 3 months ago
2004
ACM
This paper presents the virtual reality applications that the Foundation of the Hellenic World has produced associated with the Olympic Games in ancient Greece. The separate virtu...
171
click to vote
Book
"These notes were prepared for use in the graduate course Computer Science 15–
814: Type Systems for Programming Languages at Carnegie Mellon University.
Their purpose is ...