Sciweavers

3571 search results - page 195 / 715
» Cohen and Set Theory
Sort
View
FSS
2008
88views more  FSS 2008»
15 years 6 months ago
Solution of a system of linear equations with fuzzy numbers
The paper deals with a solution of a fuzzy interval system of linear equations, i.e. a system in which fuzzy intervals (numbers) appear instead of crisp numbers. We obtain general...
Rostislav Horcík
AML
2005
91views more  AML 2005»
15 years 6 months ago
A proof-theoretical investigation of global intuitionistic (fuzzy) logic
We perform a proof-theoretical investigation of two modal predicate logics: global intuitionistic logic GI and global intuitionistic fuzzy logic GIF. These logics were introduced b...
Agata Ciabattoni
APIN
2004
131views more  APIN 2004»
15 years 6 months ago
Rough Self Organizing Map
A rough self-organizing map (RSOM) with fuzzy discretization of feature space is described here. Discernibility reducts obtained using rough set theory are used to extract domain k...
Sankar K. Pal, Biswarup Dasgupta, Pabitra Mitra
SEFM
2007
IEEE
16 years 26 days ago
Automatically Proving Concurrent Programs Correct
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
Byron Cook
ADC
2005
Springer
111views Database» more  ADC 2005»
16 years 4 days ago
Redundancy, Dependencies and Normal Forms for XML Databases
With the advent of XML and its use as a database language, dependency and normal form theory has attracted novel research interest. Several approaches to build up a dependency and...
Klaus-Dieter Schewe