Sciweavers

4447 search results - page 263 / 890
» Model Checking Games
Sort
View
TCIAIG
2010
15 years 2 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
16 years 1 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
16 years 1 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
16 years 20 days 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 11 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