Sciweavers

1698 search results - page 151 / 340
» Growing Complex Games
Sort
View
APAL
2005
119views more  APAL 2005»
15 years 3 months ago
Elementary arithmetic
Abstract. There is a very simple way in which the safe/normal variable discipline of Bellantoni-Cook recursion (1992) can be imposed on arithmetical theories like PA: quantify over...
Geoffrey E. Ostrin, Stanley S. Wainer
ICIP
2008
IEEE
16 years 5 months ago
Game-theoretic analysis of maximum-payoff multiuser collusion
Multiuser collusion is an effective attack against traitor-tracing multimedia fingerprinting, where a group of attackers collectively mount attacks to reduce their risk of being d...
H. Vicky Zhao, Wan-Yi Sabrina Lin, K. J. Ray Liu
PODS
2009
ACM
130views Database» more  PODS 2009»
16 years 4 months ago
The finite model theory toolbox of a database theoretician
For many years, finite model theory was viewed as the backbone of database theory, and database theory in turn supplied finite model theory with key motivations and problems. By n...
Leonid Libkin
CHI
2008
ACM
16 years 4 months ago
Temporal trajectories in shared interactive narratives
Temporal trajectories can represent the complex mappings between story time and clock time that are to be found in shared interactive narratives such as computer games and interac...
Steve Benford, Gabriella Giannachi
TEI
2010
ACM
197views Hardware» more  TEI 2010»
15 years 11 months ago
Constructing with movement: kinematics
This paper describes Kinematics: a novel construction toy for children consisting of both active (shape-changing or rotating) and passive building blocks. In comparison to similar...
Leonhard Oschuetz, Daniel Wessolek, Wolfgang Sattl...