Sciweavers

4447 search results - page 289 / 890

» Model Checking Games

82

SYNTHESE
2008

62views more SYNTHESE 2008»

Modelling simultaneous games in dynamic logic

15 years 4 months ago

Modelling simultaneous games in dynamic logic

Download www.illc.uva.nl

Johan van Benthem, Sujata Ghosh, Fenrong Liu

claim paper

Read More »

130

Voted

TCOS
2008

93views Computer Science» more TCOS 2008»

Toward a Generic Mathematical Model of Abstract Game Theories

15 years 4 months ago

Toward a Generic Mathematical Model of Abstract Game Theories

Download enel.ucalgary.ca

Yingxu Wang

claim paper

Read More »

78

IOR
2007

44views more IOR 2007»

Using EPECs to Model Bilevel Games in Restructured Electricity Markets with Locational Prices

15 years 4 months ago

Using EPECs to Model Bilevel Games in Restructured Electricity Markets with Locational Prices

Download www.optimization-online.org

Xinmin Hu, Daniel Ralph

claim paper

Read More »

87

Voted

TOMCCAP
2008

64views more TOMCCAP 2008»

Video game design using an eye-movement-dependent model of visual attention

15 years 4 months ago

Video game design using an eye-movement-dependent model of visual attention

Download www.cim.mcgill.ca

Li Jie, James J. Clark

claim paper

Read More »

98

Voted

AIL
2000

41views more AIL 2000»

Thomas F. Gordon, The Pleadings Game - An Artificial Intelligence Model of Procedural Justice

15 years 4 months ago

Thomas F. Gordon, The Pleadings Game - An Artificial Intelligence Model of Procedural Justice

Download www.law.ntu.edu.tw

Arno R. Lodder

claim paper

Read More »

« Prev « First page 289 / 890 Last » Next »