178 search results - page 1 / 36 » Can Proofs Be Animated By Games |
TLCA
2005
Springer
13 years 10 months ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
TCSV
2008
13 years 4 months ago
2008
Three-dimensional animating meshes have been widely used in the computer graphics and video game industries. Reducing the animating mesh complexity is a common way of overcoming th...
AUIC
2006
IEEE
13 years 10 months ago
2006
IEEE
Animation scripts are an integral part of developing computer games: they describe which character animations to play and when to switch between animations. These scripts are ofte...
KI
2008
Springer
13 years 4 months ago
2008
Springer
In this paper we present an interactive poker game in which one human user plays against two animated agents using RFID-tagged poker cards. The game is used as a showcase to illust...
TACAS
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...