Sciweavers

178 search results - page 9 / 36
» Can Proofs Be Animated By Games
Sort
View
JOLLI
2000
120views more  JOLLI 2000»
13 years 7 months ago
Animals, Zombanimals, and the Total Turing Test
Alan Turing devised his famous test (TT) through a slight modification of the parlor game in which a judge tries to ascertain the gender of two people who are only linguistically a...
Selmer Bringsjord, Clarke Caporale, Ron Noel
SI3D
2003
ACM
14 years 22 days ago
Snap-together motion: assembling run-time animations
Many virtual environments and games must be populated with synthetic characters to create the desired experience. These characters must move with sufficient realism, so as not to...
Michael Gleicher, Hyun Joon Shin, Lucas Kovar, And...
CRV
2005
IEEE
198views Robotics» more  CRV 2005»
14 years 1 months ago
Analysis of Player Actions in Selected Hockey Game Situations
We present a proof of concept system to represent and reason about hockey play. The system takes as input player motion trajectory data tracked from game video and supported by kn...
Fahong Li, Robert J. Woodham
ICAIL
2005
ACM
14 years 1 months ago
Dialogues about the burden of proof
This paper analyses the phenomenon of a shift of the burden of proof in legal persuasion dialogues. Some sample dialogues are analysed of types of situations where such a shift ma...
Henry Prakken, Chris Reed, Douglas Walton
COCO
2004
Springer
95views Algorithms» more  COCO 2004»
14 years 26 days ago
Consequences and Limits of Nonlocal Strategies
This paper investigates the powers and limitations of quantum entanglement in the context of cooperative games of incomplete information. We give several examples of such nonlocal...
Richard Cleve, Peter Høyer, Benjamin Toner,...