1174 search results - page 6 / 235 » A Logical Approach to Abstract Algebra |
79
Voted
FSS
2008
14 years 9 months ago
2008
In this paper, we introduce triangle algebras: a variety of residuated lattices equipped with approximation operators, and with a third angular point u, different from 0
IJCAI
2003
14 years 11 months ago
2003
ASPDAC
2008
ACM
14 years 11 months ago
2008
ACM
Scaling is currently the most popular technique used to improve performance metrics of CMOS circuits. This cannot go on forever because the properties that are responsible for the ...
LOPSTR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. It has often been observed that a point-free style of programvides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semant...
102
Voted
SEMWEB
2009
Springer
15 years 2 months ago
2009
Springer
Abstract—For many tasks, such as the integration of knowledge bases in the semantic web, one must not only handle the knowledge itself, but also characterizations of this knowled...