816 search results - page 41 / 164 » Abstract Barycentric Algebras |
RELMICS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Boolean Contact Algebras (BCA) establish the algebraic counterpart of the mereotopolopy induced by the Region Connection Calculus (RCC). Similarly, Stonian p-ortholattice...
SIGMOD
1993
ACM
13 years 11 months ago
1993
ACM
Abstract: We propose a framework for the specification of extensible database systems. A particular goal is to implement a software component for parsing and rule-based optimizatio...
FORTE
2001
13 years 9 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
ECCC
2007
13 years 7 months ago
2007
In cryptography, there has been tremendous success in building primitives out of homomorphic semantically-secure encryption schemes, using homomorphic properties in a blackbox way...
PPAM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present the way in which we adapt data and computations to the underlying memory hierarchy by means of a hierarchical data structure known as hypermatrix. The applicat...