Sciweavers

6355 search results - page 161 / 1271
» From Logic to Games
Sort
View
C5
2009
IEEE
16 years 1 months ago
Pitsupai
In this paper we present an authoring tool and an accompanying workflow to create interactive scenarios in a distributed 3D environment by multiple users. With Pitsupai we design...
Philipp Engelhard, Robert Hirschfeld, Jens Lincke
FMCAD
2009
Springer
16 years 1 months ago
Synthesizing robust systems
—Many specifications include assumptions on the environment. If the environment satisfies the assumptions then a correct system reacts as intended. However, when the environmen...
Roderick Bloem, Karin Greimel, Thomas A. Henzinger...
QI
2009
Springer
130views Physics» more  QI 2009»
16 years 1 months ago
An Exploration of Type Indeterminacy in Strategic Decision-Making
In this paper we explore an extention of the Type Indeterminacy model of decision-making to strategic decision-making. A 2X2 game is investigated. We first show that in a one-sho...
Jerome R. Busemeyer, Ariane Lambert-Mogiliansky
NETGAMES
2006
ACM
16 years 14 days ago
Towards public server MMOs
While massively multiplayer on-line games (MMOs) are enormously popular, their use of the client-server architecture causes them to suffer from scalability issues and high mainte...
Chris Chambers, Wu-chang Feng, Wu-chi Feng
DIGRA
2005
Springer
16 years 1 days ago
Making Right(s) Decision: Artificial life and Rights Reconsidered
With the proliferation of robotics in industry, education and entertainment, artificial intelligent robots challenge the way we think about relationships between humans and machin...
Juyun Kim