3690 search results - page 564 / 738 » Computation with classical sequents |
140
Voted
ANTSW
2004
Springer
15 years 10 months ago
2004
Springer
Designing an optimal overlay communication network for a set of processes on the Internet is a central problem of peer-to-peer (P2P) computing. Such a network defines membership a...
175
click to vote
CIVR
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we propose the use of the Maximum Entropy approach for the task of automatic image annotation. Given labeled training data, Maximum Entropy is a statistical techniqu...
138
Voted
CLEF
2004
Springer
15 years 10 months ago
2004
Springer
Our group in the Department of Informatics at the University of Oviedo has participated, for the first time, in two tasks at CLEF: monolingual (Russian) and bilingual (Spanish-to-E...
139
click to vote
COCO
2004
Springer
15 years 10 months ago
2004
Springer
This paper studies quantum Arthur–Merlin games, which are Arthur–Merlin games in which Arthur and Merlin can perform quantum computations and Merlin can send Arthur quantum in...
149
click to vote
FMCO
2004
Springer
15 years 10 months ago
2004
Springer
In 2-player non-zero-sum games, Nash equilibria capture the options for rational behavior if each player attempts to maximize her payoff. In contrast to classical game theory, we ...