1245 search results - page 90 / 249 » Playing with Conway's problem |
ICALP
2004
Springer
14 years 3 months ago
2004
Springer
We first consider infinite two-player games on pushdown graphs. In previous work, Cachat, Duparc and Thomas [4] have presented a winning decidable condition that is Σ3-complete ...
ISNN
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Internet traffic prediction plays a fundamental role in network design, management, control, and optimization. The self-similar and non-linear nature of network traffic m...
IWCM
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Junctions play an important role in motion analysis. Approaches based on the structure tensor have become the standard for junction detection. However, the structure tens...
KR
2004
Springer
14 years 3 months ago
2004
Springer
Motivational attitudes play an important role in investigations into intelligent agents. One of the key problems of representing and reasoning about motivational attitudes is whic...
TACAS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...