6355 search results - page 270 / 1271 » From Logic to Games |
192
Voted
SSS
2009
Springer
16 years 1 months ago
2009
Springer
High-interaction honeypots are relevant to provide rich and useful information obtained from attackers. Honeypots come in different flavors with respect to their interaction pote...
179
click to vote
LICS
2007
IEEE
16 years 29 days ago
2007
IEEE
Higher-order matching is the problem given t = u where t, u are terms of simply typed λ-calculus and u is closed, is there a substitution θ such that tθ and u have the same nor...
155
click to vote
ECSQARU
2007
Springer
16 years 26 days ago
2007
Springer
When several agents operate in a common environment, their plans may interfere so that the predicted outcome of each plan may be altered, even if it is composed of deterministic ac...
198
click to vote
OTM
2007
Springer
16 years 24 days ago
2007
Springer
This paper presents a mobile system that supports young students learning history at an archaeological site. It adopts gameplay as a novel and effective technique particularly suit...
141
click to vote
AAMAS
2005
Springer
16 years 7 days ago
2005
Springer
It is difficult to define a set of rules for a cellular automaton (CA) such that creatures with life-like properties (stability and dynamic behaviour, reproducton and self-repai...