893 search results - page 48 / 179 » Descent Theory for Schemes |
MPC
1989
Springer
15 years 3 months ago
1989
Springer
A scheme is presented which transforms systolic programs with a two-dimensionalstructure to one dimension. The elementary steps of the transformation are justified by theorems in ...
100
click to vote
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
102
click to vote
ICASSP
2008
IEEE
15 years 6 months ago
2008
IEEE
The fusion of information from heterogenous sensors is crucial to the effectiveness of a multimodal system. Noise affect the sensors of different modalities independently. A good ...
DRM
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents an efficient blind watermark detection/decoding scheme for spread spectrum (SS) based watermarking, exploiting the fact that in SS-based embedding schemes the ...
108
click to vote
NETWORKING
2004
15 years 1 months ago
2004
In this paper, we present a distributed flow control scheme which achieves weighted max-min fair bandwidth allocation among all source-destination pairs on a per-aggregate basis wi...