Sciweavers

873 search results - page 13 / 175
» Tournament scoring problem
Sort
View
99
Voted
IVA
2007
Springer
15 years 7 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...
85
Voted
EJC
2010
15 years 1 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
104
Voted
AI
2005
Springer
15 years 29 days 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