835 search results - page 27 / 167 » Characterizing rosy theories |
COCO
2007
Springer
15 years 6 months ago
2007
Springer
Valiant has proposed a new theory of algorithmic computation based on perfect matchings and Pfaffians. We study the properties of matchgates—the basic building blocks in this n...
CSL
2007
Springer
15 years 6 months ago
2007
Springer
Existing definitions of the relativizations of NC1 , L and NL do not preserve the inclusions NC1 ⊆ L, NL ⊆ AC1 . We start by giving the first definitions that preserve them....
AAAI
2008
15 years 2 months ago
2008
In a seminal paper, Lin and Reiter introduced a modeltheoretic definition for the progression of the initial knowledge base of a basic action theory. This definition comes with a ...
CORR
2006
Springer
14 years 11 months ago
2006
Springer
This paper aims to provide insight into stability of collaboration choices in P2P networks. We study networks where exchanges between nodes are driven by the desire to receive the...
101
click to vote
JCC
2007
14 years 11 months ago
2007
Abstract: Starting from the 1980s and onwards, Valence Bond theory has been enjoying renaissance that is characterized by the development of a growing number of ab initio methods, ...