Sciweavers

1683 search results - page 48 / 337
» Game Theory Basics
Sort
View
115
Voted
CUZA
2002
84views more  CUZA 2002»
15 years 3 months ago
Testing Theories for Broadcasting Processes
This paper presents a theory of testing for processes calculi which have broadcast as basic communication primitive. Firstly, we justify the necessity of an alternative theory to b...
Cristian Ene, Traian Muntean
133
Voted
ENTCS
2008
128views more  ENTCS 2008»
15 years 3 months ago
Towards Formalizing Categorical Models of Type Theory in Type Theory
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
Alexandre Buisse, Peter Dybjer
116
Voted
IDEAL
2005
Springer
15 years 9 months ago
Combining Influence Maps and Cellular Automata for Reactive Game Agents
Agents make up an important part of game worlds, ranging from the characters and monsters that live in the world to the armies that the player controls. Despite their importance, a...
Penelope Sweetser, Janet Wiles
148
Voted
ATAL
2007
Springer
15 years 9 months ago
Automatic feature extraction for autonomous general game playing agents
The General Game Playing (GGP) problem is concerned with developing systems capable of playing many different games, even games the system has never encountered before. Successful...
David M. Kaiser
112
Voted
CSE
2009
IEEE
15 years 10 months ago
Validation of Sociocultural Models and Meta-Models via Serious Games
– The role of serious games in validating computational sociocultural models is described. To accomplish this, we show the role of a cognitive engine in generating behaviors for ...
K. Brock Stitts, Colleen L. Phillips, Norman D. Ge...