5995 search results - page 1021 / 1199 » Algorithmic Game Theory |
139
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
Much research in multi-agent systems reflects the field’s origins in classical artificial intelligence, showing how various refinements to the internal reasoning of individual a...
121
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
153
click to vote
CPM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Phylogenetics is a science of determining connections between groups of organisms in terms of ancestor/descendent relationships, usually expressed by phylogenetic trees, ...
147
click to vote
ER
2004
Springer
15 years 9 months ago
2004
Springer
Updates over virtual XML views that wrap the relational data have not been well supported by current XML data management systems. This paper studies the problem of the existence of...
147
click to vote
ESORICS
2004
Springer
15 years 9 months ago
2004
Springer
This paper considers iterated ciphers and their resistance against linear and differential cryptanalysis. In the theory of these attacks one assumes independence of the round keys...