Sciweavers

952 search results - page 26 / 191
» Substructural fuzzy logics
Sort
View
WILF
2005
Springer
112views Fuzzy Logic» more  WILF 2005»
14 years 1 months ago
NEC for Gene Expression Analysis
Aim of this work is to apply a novel comprehensive machine learning tool for data mining to preprocessing and interpretation of gene expression data. Furthermore, some visualizatio...
Roberto Amato, Angelo Ciaramella, N. Deniskina, Ca...
ENTCS
2006
146views more  ENTCS 2006»
13 years 7 months ago
Strong Update, Disposal, and Encapsulation in Bunched Typing
We present a bunched intermediate language for strong (type-changing) update and disposal of first-order references. In contrast to other substructural type systems, the additive ...
Josh Berdine, Peter W. O'Hearn
CSL
2010
Springer
13 years 8 months ago
Classical and Intuitionistic Subexponential Logics Are Equally Expressive
It is standard to regard the intuitionistic restriction of a classical logic as increasing the expressivity of the logic because the classical logic can be adequately represented i...
Kaustuv Chaudhuri
ECSQARU
2009
Springer
14 years 2 months ago
Supporting Fuzzy Rough Sets in Fuzzy Description Logics
Abstract. Classical Description Logics (DLs) are not suitable to represent vague pieces of information. The attempts to achieve a solution have lead to the birth of fuzzy DLs and r...
Fernando Bobillo, Umberto Straccia
EUSFLAT
2003
116views Fuzzy Logic» more  EUSFLAT 2003»
13 years 9 months ago
Fuzzy logic and the Pittsburgh classifier system for mobile robot control
We report on experiments designed to highlight the strengths and weaknesses of an autonomous rule acquisition algorithm for the fuzzy controller of a simulated mobile robot. The a...
Anthony G. Pipe, Brian Carse