Sciweavers

4803 search results - page 330 / 961
» Game Design Patterns
Sort
View
JIIS
2008
104views more  JIIS 2008»
15 years 4 months ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato
CORR
2004
Springer
104views Education» more  CORR 2004»
15 years 4 months ago
Near Rationality and Competitive Equilibria in Networked Systems
A growing body of literature in networked systems research relies on game theory and mechanism design to model and address the potential lack of cooperation between self-intereste...
Nicolas Christin, Jens Grossklags, John Chuang
IJAMC
2010
149views more  IJAMC 2010»
15 years 3 months ago
Deadline-Driven Auctions for NPC host allocation in P2P MMOGs
: This paper presents the design, implementation and evaluation of Deadline-Driven Auctions (DDA), a novel task mapping infrastructure for heterogeneous distributed environments. D...
Lu Fan, Philip W. Trinder, Hamish Taylor
IAT
2010
IEEE
15 years 2 months ago
An Interaction-Oriented Model of Customer Behavior for the Simulation of Supermarkets
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...
Yoann Kubera, Philippe Mathieu, Sébastien P...
HICSS
2012
IEEE
296views Biometrics» more  HICSS 2012»
14 years 16 days ago
Sparking Creativity: Improving Electronic Brainstorming with Individual Cognitive Priming
In recent years, there has been growing interest in the study of individual cognition in teams. Meanwhile, we learned that much of human behavior involves nonconscious cognition. ...
Alan R. Dennis, Randall K. Minas, Akshay Bhagwatwa...