2322 search results - page 84 / 465 » On a game in directed graphs |
182
click to vote
FCT
2009
Springer
15 years 10 months ago
2009
Springer
We show that the reachability problem for directed graphs that are either K3,3-free or K5-free is in unambiguous log-space, UL coUL. This significantly extends the result of Bour...
184
click to vote
SP
2008
IEEE
15 years 4 months ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
151
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...
172
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
This paper presents a method for learning decision theoretic models of facial expressions and gestures from video data. We consider that the meaning of a facial display or gesture...
168
click to vote
ROBOCUP
2004
Springer
15 years 11 months ago
2004
Springer
We present a complete system for obstacle avoidance for a mobile robot. It was used in the RoboCup 2003 obstacle avoidance challenge in the Sony Four Legged League. The system enab...