3690 search results - page 258 / 738 » Computation with classical sequents |
162
click to vote
ACNS
2009
Springer
15 years 11 months ago
2009
Springer
We enrich the classical notion of group key exchange (GKE) protocols by a new property that allows each pair of users to derive an independent peer-to-peer (p2p) key on-demand and ...
106
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Acute renal rejection is the most common reason for graft (transplanted kidney) failure after kidney transplantation, and early detection is crucial to survival of function in the...
184
click to vote
COCO
2005
Springer
15 years 10 months ago
2005
Springer
Consider a two-party quantum communication protocol for computing some function f : {0, 1}n × {0, 1}n → Z. We show that the first message of P can be compressed to O(k) classi...
142
Voted
FCT
2005
Springer
15 years 10 months ago
2005
Springer
Usually, for bin packing problems, we try to minimize the number of bins used or in the case of the dual bin packing problem, maximize the number or total size of accepted items. ...
154
click to vote
ECCV
2004
Springer
15 years 10 months ago
2004
Springer
Alignment between the input and target objects has great impact on the performance of image analysis and recognition system, such as those for medical image and face recognition. A...