6355 search results - page 294 / 1271 » From Logic to Games |
188
click to vote
PROVSEC
2007
Springer
16 years 25 days ago
2007
Springer
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...
179
Voted
CRV
2005
IEEE
16 years 10 days ago
2005
IEEE
We present a proof of concept system to represent and reason about hockey play. The system takes as input player motion trajectory data tracked from game video and supported by kn...
184
click to vote
ICRA
2005
IEEE
16 years 9 days ago
2005
IEEE
— In this work we consider the problem of pursuit evasion games (PEGs) where a group of pursuers is required to detect, chase and capture a group of evaders with the aid of a sen...
154
click to vote
TACAS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
191
click to vote
IPTPS
2004
Springer
16 years 2 days ago
2004
Springer
In P2P systems, users often have many choices of peers from whom to download their data. Each user cares primarily about its own response time, which depends on how many other use...