2436 search results - page 145 / 488 » Comonadic Notions of Computation |
171
Voted
FOSSACS
2004
Springer
16 years 10 days 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 ...
163
click to vote
FOSSACS
2004
Springer
16 years 10 days 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...
168
click to vote
GSEM
2004
Springer
16 years 10 days 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...
180
click to vote
ICALP
2004
Springer
16 years 10 days 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 ...
177
Voted
PKDD
2004
Springer
16 years 9 days 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...