Sciweavers

873 search results - page 13 / 175
» Tournament scoring problem
Sort
View
IVA
2007
Springer
14 years 5 months ago
Towards Fast Prototyping of IVAs Behavior: Pogamut 2
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 ...
Ondrej Burkert, Rudolf Kadlec, Jakub Gemrot, Micha...
EJC
2010
13 years 11 months ago
On graphs isomorphic to their neighbour and non-neighbour sets
The paper contains a construction of a universal countable graph, different from the Rado graph, such that for any of its vertices both the neighbourhood and the non-neighbourhood ...
Przemyslaw Gordinowicz
AI
2005
Springer
13 years 10 months ago
: Compiling problem specifications into SAT
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
Marco Cadoli, Andrea Schaerf