1188 search results - page 22 / 238 » Arithmetic Fuzzy Models |
81
Voted
EUSFLAT
2003
14 years 11 months ago
2003
In this paper a new approach for achieving the conceptual matching between user queries and web documents is presented. The key of the proposed system is to use FIS-CRM (Fuzzy Int...
IJAR
2008
14 years 9 months ago
2008
The two most important models of inferencing in approximate reasoning with fuzzy sets are Zadeh's Compositional Rule of Inference (CRI) and Similarity Based Reasoning (SBR). ...
CADE
2006
Springer
15 years 10 months ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...
AML
2002
14 years 9 months ago
2002
Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modificat...
115
click to vote
IEAAIE
1999
Springer
15 years 1 months ago
1999
Springer
This paper describes a new approach to model fuzzy sets using object-oriented programming techniques. Currently, the most frequently used method to model fuzzy sets is by using a p...