351 search results - page 56 / 71 » Nominal Equational Logic |
CADE
2008
Springer
14 years 7 months ago
2008
Springer
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...
FUZZIEEE
2007
IEEE
14 years 1 months ago
2007
IEEE
— The consistency of reciprocal preference relations is studied. Consistency is related with rationality, which is associated with the transitivity property. For fuzzy preference...
CIA
2007
Springer
14 years 1 months ago
2007
Springer
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...
IFSA
2007
Springer
14 years 1 months ago
2007
Springer
One of the important components of granular computing is interval computations. In interval computations, at each intermediate stage of the computation, we have intervals of possi...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
Scheduling is an important step in high-level synthesis (HLS). In our tool, we perform scheduling in two steps: coarse-grain scheduling, in which we take into account the whole co...