5608 search results - page 38 / 1122 » On the Theory of Matchgate Computations |
ENTCS
2006
15 years 1 months ago
2006
This paper contributes towards establishing the category QCB, of topological quotients of countably based spaces, and its subcategory TP, of topological predomains, as a flexible ...
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
We introduce a computable framework for Lebesgue’s measure and integration theory in the spirit of domain theory. For an effectively given second countable locally compact Hausd...
137
click to vote
OHS
2000
Springer
15 years 5 months ago
2000
Springer
This paper introduces a Semiotic Appoach to Hypertext Theory. Having been applied to Informatics only in recent years, Semiotics promises a broader understanding of Hypertext as a ...
BC
2006
15 years 1 months ago
2006
We show how a general quantitative theory of neural computation can be used to explain two recent experimental findings in neuroscience. The first of these findings is that in hum...
AISC
2004
Springer
15 years 6 months ago
2004
Springer
Symmetry-breaking in constraint satisfaction problems (CSPs) is a well-established area of AI research which has recently developed strong interactions with symbolic computation, i...