Sciweavers

1953 search results - page 118 / 391
» Normative system games
Sort
View
129
Voted
ATVA
2007
Springer
87views Hardware» more  ATVA 2007»
15 years 9 months ago
Latticed Simulation Relations and Games
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
Orna Kupferman, Yoad Lustig
120
Voted
BCSHCI
2008
15 years 5 months ago
HCI: whose job is it anyway?
A panel of experts on human computer interaction (HCI) argues about who is best placed to `own' HCI and the user centred design process, The experts come from a range of priv...
Tom Stewart
125
Voted
CHI
2011
ACM
14 years 7 months ago
Gamification. using game-design elements in non-gaming contexts
“Gamification” is an informal umbrella term for the use of video game elements in non-gaming systems to improve user experience (UX) and user engagement.
Sebastian Deterding, Miguel Sicart, Lennart Nacke,...
112
Voted
WWW
2005
ACM
15 years 9 months ago
Shared lexicon for distributed annotations on the Web
The interoperability among distributed and autonomous systems is the ultimate challenge facing the semantic web. Heterogeneity of data representation is the main source of problem...
Paolo Avesani, Marco Cova
ATAL
2006
Springer
15 years 7 months ago
Study of social consciousness in stochastic agent based simulations: application to supply chains
Empirical game theory allows studying the strategic interactions of agents in simulations. Specifically, traditional game theory describes such interactions by an analytical model...
Thierry Moyaux, Brahim Chaib-draa, Sophie D'Amours