6355 search results - page 57 / 1271 » From Logic to Games |
WCE
2007
14 years 9 days ago
2007
—In this paper we used genetic algorithms to1 find the solution of game theory. We proposed new method foe solving game theory and find the optimal strategy for player A or playe...
AIS
2006
Springer
13 years 11 months ago
2006
Springer
This paper provides an overview of creating games for change from within an academic context, focusing specifically on the development of educational computer games for middle scho...
ICIP
2008
IEEE
15 years 27 days ago
2008
IEEE
In this paper, we present a graphics streaming system for remote gaming in a local area network. The framework aims at creating a networked game platform for home and hotel enviro...
ICCD
1993
IEEE
14 years 3 months ago
1993
IEEE
for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...
CP
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...