1302 search results - page 112 / 261 » Fair Equivalence Relations |
157
click to vote
FSEN
2007
Springer
16 years 1 months ago
2007
Springer
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be the proof of congruence and, related to this, enhancements of the bisimul...
173
click to vote
TARK
2005
Springer
16 years 12 days ago
2005
Springer
This paper addresses two closely related aspects of subjective information. First, no two agents necessarily see the same thing when they observe the same object. Second, no two a...
191
click to vote
INDOCRYPT
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. We present a new elliptic curve cryptosystem with fast encryption and key generation, which is provably secure in the standard model. The scheme uses arithmetic modulo n2...
158
click to vote
WWW
2010
ACM
16 years 7 days ago
2010
ACM
This tutorial focuses on the task of automated information linking in text and multimedia sources. In any task where information is fused from different sources, this linking is ...
176
click to vote
FOCS
2003
IEEE
16 years 7 days ago
2003
IEEE
We give a complexity theoretic classification of homomorphism problems for graphs and, more generally, relational structures obtained by restricting the left hand side structure ...