1805 search results - page 120 / 361 » A Theory of Closure Operators |
135
click to vote
APAL
2010
15 years 4 months ago
2010
We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the compari...
113
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
Heterogeneity is a challenge to overcome in the design of embedded systems. We presented in the recent past a theory for the composition of heterogeneous components based on tagge...
145
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
140
Voted
ICML
1994
IEEE
15 years 8 months ago
1994
IEEE
We describe CLIPS-R, a theory revision system for the revision of CLIPS rule-bases. CLIPS-R differs from previous theory revision systems in that it operates on forward chaining p...
112
click to vote
FSS
2007
15 years 4 months ago
2007
In the previous years some authors have been elaborating on the measurementtheoretic foundations of fuzzy set theory. A well-known problem in this approach is the difficult applic...