125 search results - page 14 / 25 » Combining Theories with Shared Set Operations |
SPIRE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The classical set theory provides a method for comparing objects using cardinality and intersection, in combination with well-known resemblance coefficients such as Dice,...
106
Voted
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
In current multi-media systems major parts of the functionality consist of software tasks executed on a set of concurrently operating processors. Those tasks interfere with each o...
TACS
1991
Springer
15 years 3 months ago
1991
Springer
System F is a well-known typed λ-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F, called F<: (pronoun...
ESOP
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We propose a new representation for the domain of Definite Boolean functions. The key idea is to view the set of models of a Boolean function as an incidence relation be...
ICDCS
2005
IEEE
15 years 5 months ago
2005
IEEE
The lack of a flexible consistency management solution hinders P2P implementation of applications involving updates, such as read-write file sharing, directory services, online ...