2137 search results - page 178 / 428 » Proving Abstract Non-interference |
133
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— Stigmergy is a mechanism that allows the coordination of actions within the same agent or across different agents by means of traces left in the environment. We propose...
117
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
120
click to vote
AAIM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In an implicit combinatorial optimization problem, the constraints are not enumerated explicitly but rather stated implicitly through equations, other constraints or auxi...
115
Voted
ACG
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Complete tablebases, indicating best moves for every position, exist for chess endgames. There is no doubt that tablebases contain a wealth of knowledge, however, mining ...
129
click to vote
ADMI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this work, we describe the process used in order to predict the bidding strategy of trading agents. This was done in the context of the Reverse TAC, or CAT, game of th...