Search Sciweavers | Sciweavers

4447 search results - page 287 / 890

» Model Checking Games

122

click to vote

CSE
2009
IEEE

99views Theoretical Computer Science» more CSE 2009»

Mathematical Modeling of Social Games

16 years 1 months ago

Download www.cse.cuhk.edu.hk

Kam Tong Chan, Irwin King, Man-Ching Yuen

claim paper

Read More »

131

click to vote

ISPW
2009
IEEE

116views Software Engineering» more ISPW 2009»

Modeling Software Evolution with Game Theory

16 years 1 months ago

Download www.imamu.edu.sa

Vibha Sazawal, Nikita Sudan

claim paper

Read More »

152

click to vote

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic

16 years 6 days ago

Download www.pps.jussieu.fr

Paul-André Melliès

claim paper

Read More »

110

click to vote

ATAL
2004
Springer

61views Intelligent Agents» more ATAL 2004»

Modelling Coalition Formation over Time for Iterative Coalition Games

16 years 1 days ago

Download www.lsi.upc.edu

Carlos Mérida-Campos, Steven Willmott

claim paper

Read More »

115

click to vote

ATAL
2003
Springer

116views Intelligent Agents» more ATAL 2003»

A language for modeling agents' decision making processes in games

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers