903 search results - page 67 / 181 » On the reduction of a random basis |
168
click to vote
ASIACRYPT
2010
Springer
15 years 4 months ago
2010
Springer
Group signature schemes allow users to sign messages on behalf of a group while (1) maintaining anonymity (within that group) with respect to an observer, yet (2) ensuring traceab...
145
click to vote
SIBGRAPI
2008
IEEE
16 years 16 days ago
2008
IEEE
We present a crude registration algorithm for two partially overlapping range images acquired from a rigid object. Our proposal is characterized by two novel features: drastic dat...
128
click to vote
LISP
2007
15 years 6 months ago
2007
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...
160
click to vote
ICMCS
2009
IEEE
15 years 3 months ago
2009
IEEE
This work introduces a robot driven camera controlled by speech. The SIMIS database of 20 recordings of real life surgical operations serves as basis for analyses and noise modell...
151
click to vote
JAPLL
2011
15 years 1 months ago
2011
The paper proposes a formal analysis of a theory of norms resulting from pulling together Anderson’s reduction, the analysis of counts-as, and a novel approach to the formal rep...