Sciweavers

7289 search results - page 303 / 1458
» A Dependent Set Theory
Sort
View
TALG
2010
158views more  TALG 2010»
15 years 1 months ago
Clustering for metric and nonmetric distance measures
We study a generalization of the k-median problem with respect to an arbitrary dissimilarity measure D. Given a finite set P of size n, our goal is to find a set C of size k such t...
Marcel R. Ackermann, Johannes Blömer, Christi...
FSKD
2005
Springer
137views Fuzzy Logic» more  FSKD 2005»
16 years 8 days ago
Vagueness and Extensionality
Abstract. We introduce a property of set to represent vagueness without using truth value. It has gotten less attention in fuzzy set theory. We introduce it by analyzing a well-kno...
Shunsuke Yatabe, Hiroyuki Inaoka
ACMMPC
2000
Springer
231views Mathematics» more  ACMMPC 2000»
15 years 11 months ago
Galois Connections and Fixed Point Calculus
Fixed point calculus is about the solution of recursive equations de˛ned by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of ˛xed ...
Roland Carl Backhouse
COMBINATORICS
2000
74views more  COMBINATORICS 2000»
15 years 6 months ago
Frequency Squares and Affine Designs
The known methods for constructing complete sets of mutually orthogonal frequency squares all yield one of two parameter sets. We show that almost all these constructions can be d...
Vassili C. Mavron
TYPES
1998
Springer
15 years 11 months ago
Proof Normalization Modulo
We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theo...
Gilles Dowek, Benjamin Werner