Search Sciweavers | Sciweavers

4447 search results - page 287 / 890

» Model Checking Games

143

Voted

CSE
2009
IEEE

99views Theoretical Computer Science» more CSE 2009»

Mathematical Modeling of Social Games

16 years 2 months ago

Download www.cse.cuhk.edu.hk

Kam Tong Chan, Irwin King, Man-Ching Yuen

claim paper

Read More »

145

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 »

171

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 26 days ago

Download www.pps.jussieu.fr

Paul-André Melliès

claim paper

Read More »

123

click to vote

ATAL
2004
Springer

61views Intelligent Agents» more ATAL 2004»

Modelling Coalition Formation over Time for Iterative Coalition Games

16 years 21 days ago

Download www.lsi.upc.edu

Carlos Mérida-Campos, Steven Willmott

claim paper

Read More »

139

click to vote

ATAL
2003
Springer

116views Intelligent Agents» more ATAL 2003»

A language for modeling agents' decision making processes in games

16 years 16 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers