Sciweavers

1683 search results - page 48 / 337
» Game Theory Basics
Sort
View
93
Voted
CUZA
2002
84views more  CUZA 2002»
15 years 18 days 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
ENTCS
2008
128views more  ENTCS 2008»
15 years 26 days 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
IDEAL
2005
Springer
15 years 6 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
121
Voted
ATAL
2007
Springer
15 years 7 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
85
Voted
CSE
2009
IEEE
15 years 7 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...