Sciweavers

1486 search results - page 71 / 298
» Mathematical Fuzzy Logics
Sort
View
EUSFLAT
2007
140views Fuzzy Logic» more  EUSFLAT 2007»
15 years 6 months ago
A Fuzzy Formal Logic for Interval-valued Residuated Lattices
Fuzzy formal logics were introduced in order to handle graded truth values instead of only ‘true’ and ‘false’. A wide range of such logics were introduced successfully, li...
Bart Van Gasse, Chris Cornelis, Glad Deschrijver, ...
IEEEICCI
2002
IEEE
15 years 9 months ago
Computational Intelligence for Medical Knowledge Acquisition with Application to Glaucoma
This paper presents an approach that integrates computational intelligence/soft computing paradigms with clinical investigation methods and knowledge. Computational intelligence m...
Nicolae Varachiu, Cynthia Karanicolas, Mihaela Uli...
TPHOL
1996
IEEE
15 years 8 months ago
Importing Mathematics from HOL into Nuprl
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
Douglas J. Howe
SGAI
2009
Springer
15 years 11 months ago
An Interval Type-2 Fuzzy Multiple Echelon Supply Chain Model
Planning resources for a supply chain is a major factor determining its success or failure. In this paper we build on previous work introducing an Interval Type-2 Fuzzy Logic mode...
Simon Miller, Robert John
WILF
2009
Springer
791views Fuzzy Logic» more  WILF 2009»
16 years 3 months ago
Fuzzy C-Means Inspired Free Form Deformation Technique for Registration
This paper presents a novel method aimed to free form deformation function approximation for purpose of image registration. The method is currently feature-based. The algorithm i...
Edoardo Ardizzone, Orazio Gambino, Roberto Gallea,...