3229 search results - page 135 / 646 » Theories with the Independence Property |
115
click to vote
COMBINATORICA
2006
15 years 24 days ago
2006
We introduce and discuss generalizations of the problem of independent transversals. Given a graph property R, we investigate whether any graph of maximum degree at most d with a ...
112
Voted
AINA
2009
IEEE
15 years 7 months ago
2009
IEEE
—In this paper we introduce the notion of protein interaction network. This is a graph whose vertices are the protein’s amino acids and whose edges are the interactions between...
108
click to vote
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
We introduce three formal theories of increasing strength for linear algebra in order to study the complexity of the concepts needed to prove the basic theorems of the subject. We...
115
Voted
DAGSTUHL
2001
15 years 2 months ago
2001
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
CORR
2008
Springer
15 years 26 days ago
2008
Springer
Using the concept of discrete noiseless channels, it was shown by Shannon in A Mathematical Theory of Communication that the ultimate performance of an encoder for a constrained sy...