Sciweavers

ILC
2007
Springer
14 years 5 months ago
Towards Model-Checking Programs with Lists
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
Alain Finkel, Étienne Lozes, Arnaud Sangnie...
IFSA
2007
Springer
138views Fuzzy Logic» more  IFSA 2007»
14 years 5 months ago
Optimization to Manage Supply Chain Disruptions Using the NSGA-II
Disruption on a supply chain provokes lost that should be minimized looking for alternative suppliers. This solution involves a strategy to manage the impact of the disruption and ...
Víctor Serrano, Matías Alvarado, Car...
IFSA
2007
Springer
138views Fuzzy Logic» more  IFSA 2007»
14 years 5 months ago
Using Fuzzy Sets for Coarseness Representation in Texture Images
Jesús Chamorro-Martínez, Elena Gal&a...
IFSA
2007
Springer
142views Fuzzy Logic» more  IFSA 2007»
14 years 5 months ago
A New Approach for Boolean Query Processing in Text Information Retrieval
The main objective of an information retrieval system is to be effective in providing a user with relevant information in response to a query. However, especially given the inform...
Leemon C. Baird III, Donald H. Kraft
IFSA
2007
Springer
146views Fuzzy Logic» more  IFSA 2007»
14 years 5 months ago
Bipolar Queries Using Various Interpretations of Logical Connectives
In [1, 2] we studied various concepts of bipolar queries (cf. Dubois and Prade [3]). We advocated there the use of a fuzzified version of the original crisp definition introduced...
Slawomir Zadrozny, Janusz Kacprzyk
IFSA
2007
Springer
158views Fuzzy Logic» more  IFSA 2007»
14 years 5 months ago
Points with Type-2 Operations
The algebra of truth values for fuzzy sets of type-2, due to Zadeh, contains as subalgebras those of type-1 and of interval-valued fuzzy sets. It also contains many other interest...
Carol L. Walker, Elbert A. Walker
IFSA
2007
Springer
110views Fuzzy Logic» more  IFSA 2007»
14 years 5 months ago
Selection Criteria for Fuzzy Unsupervised Learning: Applied to Market Segmentation
The use of unsupervised fuzzy learning methods produces a large number of alternative classifications. This paper presents and analyzes a series of criteria to select the most sui...
Germán Sánchez, Núria Agell, ...
IFSA
2007
Springer
147views Fuzzy Logic» more  IFSA 2007»
14 years 5 months ago
On Proofs and Rule of Multiplication in Fuzzy Attribute Logic
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
Radim Belohlávek, Vilém Vychodil
IFSA
2007
Springer
119views Fuzzy Logic» more  IFSA 2007»
14 years 5 months ago
Topology in Fuzzy Class Theory: Basic Notions
In the formal and fully graded setting of Fuzzy Class Theory (or higher-order fuzzy logic) we make an initial investigation into basic notions of fuzzy topology. In particular we s...
Libor Behounek, Tomás Kroupa
IFSA
2007
Springer
158views Fuzzy Logic» more  IFSA 2007»
14 years 5 months ago
Fuzziness and Performance: An Empirical Study with Linguistic Decision Trees
Abstract. Generally, there are two main streams of theories for studying uncertainties. One is probability theory and the other is fuzzy set theory. One of the basic ideas of fuzzy...
Zengchang Qin, Jonathan Lawry