6355 search results - page 223 / 1271 » From Logic to Games |
151
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper presents a game semantics for a simply-typed -calculus equipped with quantum stores. The quantum stores are equipped with quantum operations as commands which give the ...
191
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. There is a growing research interest in the design of competitive and adaptive Game AI for complex computer strategy games. In this paper, we present a novel approach for...
183
click to vote
IJVR
2007
15 years 6 months ago
2007
—The success of Web 2.0 communities demonstrates that the users of an information service are willing to participate in the content creation process on a voluntary basis. In this...
170
click to vote
VSGAMES
2010
15 years 5 months ago
2010
- Serious games can help in training medical first responders by providing emergency simulations which are always available, safer and possibly cheaper than real-world simulations....
181
click to vote
AAAI
2011
14 years 6 months ago
2011
Automated agents for electricity markets, social networks, and other distributed networks must repeatedly interact with other intelligent agents, often without observing associate...