1805 search results - page 115 / 361 » A Theory of Closure Operators |
140
Voted
AISC
1994
Springer
15 years 8 months ago
1994
Springer
This paper investigates some soundness conditions which have to be fulfilled in systems with coercions and generic operators. A result of Reynolds on unrestricted generic operators...
117
click to vote
JCP
2007
15 years 4 months ago
2007
Abstract—This paper establishes a new coherent framework to extend the class of unitary warping operators to the case of discrete–time sequences. Providing some a priori consid...
145
click to vote
CALCO
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This is a theoretical paper giving the extended Stone duality perspective on the recently discovered connection between duality theory as studied in non-classical logic a...
122
Voted
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
This article presents the results of experiments performed with agents based on an operalization of an information-theoretic model for trust. Experiments have been performed with t...
118
click to vote
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
A long-standing complaint about the theory of CSP has been that all theories which encompass divergence are divergence-strict, meaning that nothing beyond the first divergence ca...