1948 search results - page 116 / 390 » Formalizing Mirror Theory |
156
click to vote
KR
1991
Springer
15 years 9 months ago
1991
Springer
Theories of rational belief revision recently proposed by Alchourron, Gardenfors, Makinson, and Nebel illuminate many important issues but impose unnecessarily strong standards fo...
167
Voted
INFORMATICALT
2006
15 years 5 months ago
2006
The objective is to investigate two emerging information technologies in graduate studies and scientific cooperation. Internet is the first technology. The open source is the secon...
149
click to vote
SIGECOM
2005
ACM
15 years 11 months ago
2005
ACM
This paper initiates research on the foundations of ranking systems, a fundamental ingredient of basic e-commerce and Internet Technologies. In order to understand the essence and...
157
click to vote
FUIN
2006
15 years 5 months ago
2006
In a previous paper, we developed an algebraic theory about threads and multi-threading based on the assumption that a deterministic interleaving strategy determines how threads ar...
167
click to vote
IFIP
2010
Springer
15 years 12 days ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...