4447 search results - page 565 / 890 » Model Checking Games |
166
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Sensor networks are expected to play an important role in hybrid protection infrastructures when combined with robots and human decision makers. In order to be effective, detectio...
165
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Electronic institutions (EIs) define the rules of the game in agent societies by fixing what agents are permitted and forbidden to do and under what circumstances. Autonomic Elec...
190
click to vote
HICSS
2003
IEEE
16 years 2 days ago
2003
IEEE
Microeconomics offer a far developed theory on the subject of rational choice. This theory is applied to a multi-agent system, which has been modeled in order to establish schedul...
170
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
We reveal a symmetric structure in the ho/n games model of innocent strategies, introducing rigid strategies, a concept dual to bracketed strategies. We prove a direct definabilit...
142
click to vote
FLAIRS
2008
15 years 9 months ago
2008
In this paper we present an authoring tool called Narratoria1 that allows non-technical experts in the field of digital entertainment to create interactive narratives with 3D grap...