2138 search results - page 183 / 428 » Logics for the Relational Syllogistic |
GLVLSI
2011
IEEE
13 years 8 hour ago
2011
IEEE
Existing optimization algorithms for the multiplierless realization of multiple constant multiplications (MCM) typically target the minimization of the number of addition and subt...
CHB
2011
12 years 12 months ago
2011
Cognitive science is the scientific domain which studies, analyses, simulates and infers for various aspects, functions and procedures of human mentality such as, thinking, logic, ...
ATVA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Both proofs and trust relations play a role in security decisions, in particular in determining whether to execute a piece of code. We have developed a language, called B...
FUZZY
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper studies some relationships between fuzzy relations, fuzzy graphs and fuzzy measure. It is shown that a fundamental theorem of Discrete Convex Analysis is deriv...
ICALP
2009
Springer
14 years 26 days ago
2009
Springer
We consider an extension of the guarded fragment in which one can guard quanti ers using the transitive closure of some binary relations. The obtained logic captures the guarded fr...