Sciweavers

43 search results - page 2 / 9
» On Representing and Generating Kernels by Fuzzy Equivalence ...
Sort
View
ENTCS
2008
118views more  ENTCS 2008»
13 years 4 months ago
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
There are two ways to define a semantics for process algebras: either directly by means of an equivalence relation or by means of a preorder whose kernel is the desired equivalenc...
David de Frutos-Escrig, Carlos Gregorio-Rodr&iacut...
IMECS
2007
13 years 6 months ago
Predicting Interval Probability in Data Querying
—This paper discusses fuzzification of crisp domains into fuzzy classes providing fuzzy domains. Relationship between two fuzzy domains, Xi and Xj , is represented by a matrix, ...
Rolly Intan
CAV
1993
Springer
127views Hardware» more  CAV 1993»
13 years 8 months ago
Symbolic Equivalence Checking
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
Jean-Claude Fernandez, Alain Kerbrat, Laurent Moun...
JMM2
2008
67views more  JMM2 2008»
13 years 4 months ago
Interactive Face Generation from Verbal Description Using Conceptual Fuzzy Sets
In this article, a human centered approach for interactive face generation is presented. The users of the system are given the possibility to interactively generate faces from verb...
Hafida Benhidour, Takehisa Onisawa
CDES
2006
99views Hardware» more  CDES 2006»
13 years 6 months ago
Realization of Digital Fuzzy Operations Using Multi-Valued Fredkin Gates
Multi-valued Fredkin gates (MVFG) are reversible gates and they can be considered as modified version of the better known reversible gate the Fredkin gate. Reversible logic gates ...
Amin Ahsan Ali, Hafiz Md. Hasan Babu, Ahsan Raja C...