2436 search results - page 145 / 488 » Comonadic Notions of Computation |
132
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
129
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
Several types of term rewriting systems can be distinguished by the way their rules overlap. In particular, we define the classes of prefix, suffix, bottom-up and top-down system...
126
click to vote
GSEM
2004
Springer
15 years 9 months ago
2004
Springer
The Semantic Grid aims at enhancing Grid architectures by knowledge engineering techniques. The service notion is central in this approach. Service-level agreements, called contrac...
126
Voted
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We introduce the notion of coordination mechanisms to improve the performance in systems with independent selfish and noncolluding agents. The quality of a coordination ...
127
click to vote
PKDD
2004
Springer
15 years 9 months ago
2004
Springer
One of the most important operations involving Data Mining patterns is computing their similarity. In this paper we present a general framework for comparing both simple and comple...