97 search results - page 13 / 20 » Visibly Pushdown Games |
ACSC
2007
IEEE
14 years 4 months ago
2007
IEEE
As computer controlled entities are set to move and explore more complex environments they need to be able to perform navigation tasks, like finding minimal cost routes. Much wor...
CSL
2010
Springer
13 years 11 months ago
2010
Springer
We consider two-player games with imperfect information and quantitative objective. The game is played on a weighted graph with a state space partitioned into classes of indistingu...
LATIN
2010
Springer
14 years 5 months ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
CSCW
2007
ACM
13 years 10 months ago
2007
ACM
Physical gaming is a genre of computer games that has recently been made available for the home. But what does it mean to bring games home that were originally designed for play in...
TASLP
2008
13 years 10 months ago
2008
The beam tracing method can be used for the fast tracing of a large number of acoustic paths through a direct lookup of a special tree-like data structure (beam tree) that describe...