5608 search results - page 36 / 1122 » On the Theory of Matchgate Computations |
124
click to vote
CADE
2009
Springer
16 years 2 months ago
2009
Springer
In the symbolic analysis of security protocols, two classical notions of knowledge, deducibility and indistinguishability, yield corresponding decision problems. We propose a proce...
ACE
2004
15 years 2 months ago
2004
In computer science education, the topic of computing theory is one that is commonly not well received by students. Career-oriented students often view the topic as irrelevant, an...
114
click to vote
ANOR
2008
15 years 1 months ago
2008
This paper reviews applications in computer science that decision theorists have addressed for years, discusses the requirements posed by these applications that place great strai...
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Context, the pieces of information that capture the characteristics of ubiquitous computing environment, is often imprecise and incomplete due to user mobility, unreliable wirel...
117
click to vote
LICS
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...