264 search results - page 42 / 53 » Verifying Dribble Agents |
ATAL
2010
Springer
14 years 12 hour ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
CI
2005
13 years 10 months ago
2005
The TAC 2003 supply-chain game presented automated trading agents with a challenging strategic problem. Embedded within a high-dimensional stochastic environment was a pivotal str...
VLC
2008
13 years 10 months ago
2008
Recognizing hand-sketched symbols is a definitely complex problem. The input drawings are often intrinsically ambiguous, and require context to be interpreted in a correct way. Ma...
ICCCI
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. In a society, we have many forms of relations with other people from home, work or school. These relationships give rise to a social network. People in a social network r...
IDEAL
2010
Springer
13 years 8 months ago
2010
Springer
Many of our activities on computer need a verification step for authorized access. The goal of verification is to tell apart the true account owner from intruders. We propose a gen...