Sciweavers

3 search results - page 1 / 1
» How Traveling Salespersons Prove Their Identity
Sort
View
58
Voted
IMA
1995
Springer
83views Cryptology» more  IMA 1995»
15 years 1 months ago
How Traveling Salespersons Prove Their Identity
Stefan Lucks
PRL
2006
221views more  PRL 2006»
14 years 9 months ago
Towards on-line saccade planning for high-resolution image sensing
This paper considers the problem of designing an active observer to plan a sequence of decisions regarding what target to look at, through a foveal-sensing action. We propose a fr...
Alberto Del Bimbo, Federico Pernici
AC
2000
Springer
15 years 2 months ago
The Join Calculus: A Language for Distributed Mobile Programming
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
Cédric Fournet, Georges Gonthier