674 search results - page 83 / 135 » Preferences in Game Logics |
LMCS
2007
13 years 7 months ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
ICMI
2009
Springer
14 years 2 months ago
2009
Springer
We investigate how fantasy, curiosity and challenge contribute to the user experience in multimodal dialogue computer games for preschool children. For this purpose, an on-line mu...
INFOCOM
2003
IEEE
14 years 1 months ago
2003
IEEE
— This paper analyzes a communication network with heterogeneous customers. We investigate priority queueing as a way to differentiate between these users. Customers join the net...
FUN
2010
Springer
13 years 5 months ago
2010
Springer
The bank director was pretty upset noticing Joe, the system administrator, spending his spare time playing Mastermind, an old useless game of the 70ies. He had fought the instinct ...
IAT
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--Since several years, great distribution firms implement more and more complex layout and shelf allocation strategies, so as to force empirical know-how to combine with Ar...