5344 search results - page 199 / 1069 » Privacy-Preserving Set Operations |
106
Voted
CPC
2006
15 years 3 months ago
2006
Let ;k g be the class of k-connected cubic graphs of girth at least g. For several choices of k and g, we determine a set Ok g of graph operations, for which, if G and H are graph...
109
Voted
GPEM
2006
15 years 3 months ago
2006
This paper presents a Genetic Programming (GP) approach to the design of Mathematical Morphology (MM) algorithms for binary images. The algorithms are constructed using logic opera...
118
Voted
ENTCS
2007
15 years 3 months ago
2007
The method of logical relations assigns a relational interpretation to types that expresses operational invariants satisfied by all terms of a type. The method is widely used in ...
98
Voted
INFSOF
2002
15 years 3 months ago
2002
In this paper, we present methods of translating transactions from object-oriented database(OODB) to relational database(RDB). The process involves schema mapping in data definiti...
125
Voted
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...