Sciweavers

178 search results - page 15 / 36
» Can Proofs Be Animated By Games
Sort
View
SIGECOM
2006
ACM
184views ECommerce» more  SIGECOM 2006»
14 years 1 months ago
Computing pure nash equilibria in graphical games via markov random fields
We present a reduction from graphical games to Markov random fields so that pure Nash equilibria in the former can be found by statistical inference on the latter. Our result, wh...
Constantinos Daskalakis, Christos H. Papadimitriou
CDC
2009
IEEE
165views Control Systems» more  CDC 2009»
14 years 6 days ago
Achieving symmetric Pareto Nash equilibria using biased replicator dynamics
— Achieving the Nash equilibria for single objective games is known to be a computationally difficult problem. However there is a special class of equilibria called evolutionary...
Kiran Somasundaram, John S. Baras
JAR
2007
104views more  JAR 2007»
13 years 7 months ago
Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book
The Intelligent Book project aims to improve online education by designing materials that can model the subject matter they teach, in the manner of a Reactive Learning Environment...
William Billingsley, Peter Robinson
TEI
2010
ACM
201views Hardware» more  TEI 2010»
14 years 2 months ago
Objects in play: virtual environments and tactile learning
When creating technology environments for children, consideration needs to be given to how touch, gesture, and physical interactions impact on play and learning. This is particula...
Lillian Spina-Caza
DIMEA
2008
218views Multimedia» more  DIMEA 2008»
13 years 9 months ago
Augmented reality for games
In this text, we intend to explore augmented reality as a means to visualise interactive communication projects. With ARToolkit, Virtools and 3ds Max applications, we aim to show ...
Filipe Costa Luz, Vasco Bila, José Maria Di...