206 search results - page 21 / 42 » Sharing in the Weak Lambda-Calculus |
79
Voted
FAST
2004
15 years 1 months ago
2004
This paper presents a distributed mobile storage system designed for storage elements connected by a network of non-uniform quality. Flexible data placement is crucial, and it lea...
89
Voted
IADIS
2003
15 years 1 months ago
2003
This paper challenges the generic single conceptual viewpoint that designers have of groupware and specifically Groupware Calendar Systems (GCS). From the analysis of interviews, ...
112
Voted
FOCS
2008
IEEE
15 years 1 months ago
2008
IEEE
We introduce another variant of Quantum MIP, where the provers do not share entanglement, the communication between the verifier and the provers is quantum, but the provers are u...
94
Voted
IJCV
2006
15 years 14 days ago
2006
: Shape recognition is the field of computer vision which addresses the problem of finding out whether a query shape lies or not in a shape database, up to a certain invariance. Mo...
73
Voted
IWC
2006
15 years 13 days ago
2006
A contemporary approach to describing and theorizing about joint human endeavor is to posit `knowledge in common' as a basis for awareness and coordination. Recent analysis h...