Sciweavers

1698 search results - page 118 / 340
» Growing Complex Games
Sort
View
TACAS
2007
Springer
116views Algorithms» more  TACAS 2007»
15 years 10 months ago
Model Checking on Trees with Path Equivalences
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
Rajeev Alur, Pavol Cerný, Swarat Chaudhuri
134
Voted
DIGRA
2005
Springer
15 years 9 months ago
Albert Goes Narrative Contracting
RPG’s (Role Playing Games) and improvisational theatre have some obvious similarities. Both require the participants to work together in real-time to construct dynamic narrative...
Ken Newman, Robert Grigg
ROBOCUP
2004
Springer
110views Robotics» more  ROBOCUP 2004»
15 years 9 months ago
UCHILSIM: A Dynamically and Visually Realistic Simulator for the RoboCup Four Legged League
UCHILSIM is a robotic simulator specially developed for the RoboCup four-legged league. It reproduces with high accuracy the dynamics of AIBO motions and its interactions with the ...
Juan Cristóbal Zagal, Javier Ruiz-del-Solar
SIGECOM
2008
ACM
122views ECommerce» more  SIGECOM 2008»
15 years 4 months ago
On the windfall of friendship: inoculation strategies on social networks
This paper studies a virus inoculation game on social networks. A framework is presented which allows the measuring of the windfall of friendship, i.e., how much players benefit i...
Dominic Meier, Yvonne Anne Oswald, Stefan Schmid, ...
CG
2005
Springer
15 years 4 months ago
Intelligent virtual environments for virtual reality art
The development of virtual reality (VR) art installations is faced with considerable difficulties, especially when one wishes to explore complex notions related to user interactio...
Marc Cavazza, Jean-Luc Lugrin, Simon Hartley, Marc...