279 search results - page 18 / 56 » Constructive Interval Disjunction |
108
click to vote
FUZZIEEE
2007
IEEE
15 years 8 months ago
2007
IEEE
— In this paper, we propose two novel indices for type-2 fuzzy rule ranking to identify the most influential fuzzy rules in designing type-2 fuzzy logic systems, and name them a...
128
click to vote
PPOPP
2005
ACM
15 years 7 months ago
2005
ACM
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...
112
Voted
AML
2002
15 years 1 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...
164
click to vote
EUSFLAT
2009
14 years 11 months ago
2009
In this paper we present the operational semantics of RFuzzy, a fuzzy Logic Programming framework that represents thruth values using real numbers from the unit interval. RFuzzy pr...
105
Voted
SMA
2005
ACM
15 years 7 months ago
2005
ACM
Geometric constraints are at the heart of parametric and feature-based CAD systems. Changing values of geometric constraint parameters is one of the most common operations in such...