4850 search results - page 699 / 970 » Proof and Computation in Geometry |
172
click to vote
MSWIM
2006
ACM
16 years 21 days ago
2006
ACM
Recent studies and publications have shown a demand for a secure method to proof someones or somenthings position via a communication channel. In this paper we present a concept a...
149
click to vote
HPDC
2005
IEEE
16 years 10 days ago
2005
IEEE
Information dissemination is a fundamental and frequently occuring problem in large, dynamic, distributed systems. We propose a novel approach to this problem, interest-aware info...
209
click to vote
PODC
2005
ACM
16 years 8 days ago
2005
ACM
We consider four problems on distance estimation and object location which share the common flavor of capturing global information via informative node labels: low-stretch routin...
175
Voted
FCT
2005
Springer
16 years 7 days ago
2005
Springer
We prove optimal lower bounds for multilinear circuits and for monotone circuits with bounded depth. These lower bounds state that, in order to compute certain functions, these cir...
149
click to vote
TLCA
2005
Springer
16 years 6 days ago
2005
Springer
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...