178 search results - page 14 / 36 » Can Proofs Be Animated By Games |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
d Abstract) Alexander Langer, Peter Rossmanith, and Somnath Sikdar RWTH Aachen University, 52074 Aachen, Germany. We present an alternative proof of a theorem by Courcelle, Makowsk...
INFSOF
2007
13 years 7 months ago
2007
The use of object-oriented design patterns in game development is being evaluated in this paper. Games’ quick evolution, demands great flexibility, code reusability and low mai...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
Graphics-intensive computer games are no longer restricted to highperformance desktops, but are also available on a variety of portable devices ranging from notebooks to PDAs and ...
JVCA
2006
13 years 7 months ago
2006
Sensing gloves are often used as an input device for virtual 3D games. We propose a new method to control characters such as humans or animals in real-time by using sensing gloves....
SOUPS
2009
ACM
14 years 2 months ago
2009
ACM
Randomness is a necessary ingredient in various computational tasks and especially in Cryptography, yet many existing mechanisms for obtaining randomness suffer from numerous pro...