2436 search results - page 320 / 488 » Comonadic Notions of Computation |
206
Voted
IPPS
2002
IEEE
16 years 13 days ago
2002
IEEE
This paper describes the program execution framework being developed by the Grid Application Development Software (GrADS) Project. The goal of this framework is to provide good re...
196
Voted
SCCC
2002
IEEE
16 years 12 days ago
2002
IEEE
The compression of binary texts using antidictionaries is a novel technique based on the fact that some substrings (called “antifactors”) never appear in the text. Let × be a...
219
click to vote
KR
2010
Springer
16 years 8 days ago
2010
Springer
We present a distributed algorithm for computing equilibria of heterogeneous nonmonotonic multi-context systems (MCS). The algorithm can be parametrized to compute only partial eq...
160
Voted
GD
2009
Springer
16 years 3 days ago
2009
Springer
We show that cr(G) ≤ 2 iocr(G) 2 settling an open problem of Pach and T´oth [4, 1]. Moreover, iocr(G) = cr(G) if iocr(G) ≤ 2. 1 Crossing Numbers Pach and T´oth point out in ...
187
Voted
ECSQARU
2001
Springer
16 years 3 hour ago
2001
Springer
Abstract. A great deal of research has been devoted to nontrivial reasoning in inconsistent knowledge bases. Coherence-based approaches proceed by a consolidation operation which s...