2273 search results - page 246 / 455 » On the Expressiveness and Complexity of ATL |
185
click to vote
AMAI
2004
Springer
15 years 6 months ago
2004
Springer
We introduce the notion of combinatorial vote, where a group of agents (or voters) is supposed to express preferences and come to a common decision concerning a set of non-independ...
210
click to vote
TWC
2008
15 years 6 months ago
2008
Abstract--Significant throughput improvements can be obtained in multiple-input multiple-output (MIMO) fading channels by merging beamforming at the transmitter and maximal ratio c...
201
click to vote
CL
2000
Springer
15 years 6 months ago
2000
Springer
Associative Language Descriptions are a recent grammar model, theoretically less powerful than Context Free grammars, but adequate for describing the syntax of programming languag...
160
click to vote
FMSD
2002
15 years 6 months ago
2002
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
147
click to vote
RML
2002
15 years 6 months ago
2002
This paper presents the "situation manager" rule language. The situation manager is a tool that includes both a language and an efficient runtime execution mechanism, aim...