Sciweavers

208 search results - page 15 / 42
» Running or gaming
Sort
View
CONCUR
2009
Springer
15 years 4 months ago
Winning Regions of Pushdown Parity Games: A Saturation Method
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the...
Matthew Hague, C.-H. Luke Ong
CHI
2010
ACM
15 years 4 months ago
Astrojumper: motivating children with autism to exercise using a VR game
Children with autism have shown substantial benefit ult to from rigorous exercise, however, it is often diffic ually motivate these children to exercise due to their us sedent...
Samantha L. Finkelstein, Andrea Nickel, Tiffany Ba...
FSTTCS
2010
Springer
14 years 7 months ago
One-Counter Stochastic Games
We study the computational complexity of basic decision problems for one-counter simple stochastic games (OC-SSGs), under various objectives. OC-SSGs are 2-player turn-based stoch...
Tomás Brázdil, Václav Brozek,...
90
Voted
OTM
2007
Springer
15 years 3 months ago
Re-experiencing History in Archaeological Parks by Playing a Mobile Augmented Reality Game
This paper presents a mobile system that supports young students learning history at an archaeological site. It adopts gameplay as a novel and effective technique particularly suit...
Carmelo Ardito, Paolo Buono, Maria Francesca Costa...
AUSAI
2003
Springer
15 years 2 months ago
Robot Soccer: Science or Just Fun and Games?
RoboCup is an international robot soccer competition that has been running since 1997. A frequent criticism of any such competition is that all of a team’s development is narrowl...
Claude Sammut