5608 search results - page 55 / 1122 » On the Theory of Matchgate Computations |
107
click to vote
IJAR
2010
14 years 12 months ago
2010
Granular Computing is an emerging conceptual and computing paradigm of information processing. A central notion is an information-processing pyramid with different levels of clari...
101
click to vote
IEEECIT
2010
IEEE
14 years 12 months ago
2010
IEEE
—This paper introduces several new guiding ideologies in “the Principle of Computer Organization” course reform, based on the purpose of application-oriented personnel traini...
LOGCOM
2010
14 years 12 months ago
2010
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
135
click to vote
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
We present an explicitly typed lambda calculus "`a la Church" based on the union and intersection types discipline; this system is the counterpart of the standard type a...
112
click to vote
TAL
2010
Springer
14 years 8 months ago
2010
Springer
This paper provides a linguistic semantic analysis of time and aspect in natural languages. On the basis of topological concepts, notions are introduced like the basic aspectual op...