1653 search results - page 172 / 331 » Computer science and game theory |
TCS
2010
14 years 5 months ago
2010
We describe a solution to the SAT problem via non-confluent P systems with active membranes, without using membrane division rules. Furthermore, we provide an algorithm for simula...
SAGT
2010
Springer
14 years 9 months ago
2010
Springer
We investigate the computational aspects of safe manipulation, a new model of coalitional manipulation that was recently put forward by Slinko and White [11]. In this model, a pot...
ACMSE
2005
ACM
15 years 4 months ago
2005
ACM
This paper explores a method for re-sequencing an existing set of animation, specifically motion capture data, to generate new motion. Re-using animation is helpful in designing ...
STACS
1999
Springer
15 years 2 months ago
1999
Springer
The paper gives a logical characterisation of the class NTIME(n) of problems that can be solved on a nondeterministic Turing machine in linear time. It is shown that a set L of str...
SIGCSE
2008
ACM
14 years 10 months ago
2008
ACM
We have designed and implemented game-themed programming assignment modules targeted specifically for adoption in existing introductory programming classes. These assignments are ...