Sciweavers

4447 search results - page 263 / 890
» Model Checking Games
Sort
View
TCIAIG
2010
14 years 11 months ago
Modeling Player Experience for Content Creation
In this paper, we use computational intelligence techniques to built quantitative models of player experience for a platform game. The models accurately predict certain key affecti...
Christopher Pedersen, Julian Togelius, Georgios N....
CIG
2006
IEEE
15 years 10 months ago
Modeling Children's Entertainment in the Playware Playground
Abstract— This paper introduces quantitative measurements/metrics of qualitative entertainment features within interactive playgrounds inspired by computer games and proposes art...
Georgios N. Yannakakis, Henrik Hautop Lund, John H...
CEEMAS
2007
Springer
15 years 11 months ago
Agents Deliberating over Action Proposals Using the ProCLAIM Model
In this paper we propose a dialogue game for agents to deliberate over a proposed action. The agents’ dialogue moves are defined by a structured set of argument schemes and crit...
Pancho Tolchinsky, Katie Atkinson, Peter McBurney,...
SAC
2004
ACM
15 years 10 months ago
A robust deception-free coalition formation model
We study two properties of coalition formation algorithms, very important for their application in real-life scenarios: robustness and tolerance to some agent misbehaviors. The st...
María-Victoria Belmonte, Ricardo Conejo, Jo...
RTCSA
1999
IEEE
15 years 9 months ago
Scheduling a Steel Plant with Timed Automata
Scheduling in an environment with constraints of many different types is known to be a hard problem. We tackle this problem for an integrated steel plant in Ghent, Belgium, using ...
Ansgar Fehnker