1632 search results - page 185 / 327 » Modeling billiards games |
157
click to vote
IVA
2007
Springer
16 years 20 days ago
2007
Springer
We present the platform for IVAs development in the human like environment of the first-person shooter game Unreal Tournament 2004. This environment is extendible and supported by ...
173
click to vote
SP
2006
IEEE
16 years 16 days ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
180
click to vote
IPPS
2005
IEEE
16 years 3 days ago
2005
IEEE
In this paper we propose two price-based job allocation schemes for computational grids. A grid system tries to solve problems submitted by various grid users by allocating the jo...
150
click to vote
TARK
1998
Springer
15 years 10 months ago
1998
Springer
: Salmetintroduced a notion of hypothetical knowledge and showed how it could be used to capture the type of counterfactual reasoning necessary to force the backwards induction sol...
183
click to vote
LICS
1997
IEEE
15 years 10 months ago
1997
IEEE
traction for Functional Languages with Control James Laird LFCS, Department of Computer Science University of Edinburgh This paper considers the consequences of relaxing the brack...