178 search results - page 24 / 36 » Can Proofs Be Animated By Games |
STACS
2001
Springer
13 years 12 months ago
2001
Springer
In 1974 R. Fagin proved that properties of structures which are in NP are exactly the same as those expressible by existential second order sentences, that is sentences of the form...
IVA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Virtual humans are employed in many interactive applications, including (serious) games. Their motion should be natural and allow interaction with its surroundings and ot...
SI3D
2005
ACM
14 years 1 months ago
2005
ACM
The simulation of large crowds of humans is important in many fields of computer graphics, including real-time applications such as games, as they can breathe life into otherwise...
AVI
2008
13 years 10 months ago
2008
Computer visualization has advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached the point where...
AAAI
1996
13 years 8 months ago
1996
Animations generated by interactive 3D computer graphics applications are typically portrayed either from a particular character's point of view or from a small set of strate...