1805 search results - page 59 / 361 » A Theory of Closure Operators |
149
click to vote
AAAI
2008
15 years 6 months ago
2008
In this article we work on certain aspects of the belief change theory in order to make them suitable for argumentation systems. This approach is based on Defeasible Logic Program...
139
Voted
MEMOCODE
2006
IEEE
15 years 10 months ago
2006
IEEE
The theory of latency-insensitive design (LID) was recently invented to cope with the time closure problem in otherwise synchronous circuits and programs. The idea is to allow the...
132
click to vote
ARITH
1997
IEEE
15 years 8 months ago
1997
IEEE
In this paper we present a rigorous theoretical analysis of the main properties of a double base number system, using bases 2 and 3; in particular we emphasize the sparseness of t...
125
click to vote
CONCURRENCY
2007
15 years 4 months ago
2007
We discuss the design and high-performance implementation of collective communications operations on distributed-memory computer architectures. Using a combination of known techni...
110
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...