4087 search results - page 3 / 818 » Sets in Types, Types in Sets |
TFS
2008
13 years 7 months ago
2008
Generalised type-2 fuzzy logic systems can not currently be used for practical problems because the amount of computation required to defuzzify a generalised type-2 fuzzy set is to...
TVCG
2008
13 years 7 months ago
2008
While it is quite typical to deal with attributes of different data types in the visualization of heterogeneous, multivariate datasets, most existing techniques still focus on the ...
CADE
2006
Springer
14 years 7 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
ISCI
2007
13 years 7 months ago
2007
In this state-of-the-art paper, important advances that have been made during the past five years for both general and interval type-2 fuzzy sets and systems are described. Inter...
ENTCS
2002
13 years 7 months ago
2002
We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dy...