893 search results - page 48 / 179 » Descent Theory for Schemes |
160
click to vote
MPC
1989
Springer
15 years 10 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 ...
173
Voted
IFIP
2010
Springer
15 years 28 days 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...
181
Voted
ICASSP
2008
IEEE
16 years 16 days 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 ...
161
click to vote
DRM
2005
Springer
15 years 11 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 ...
171
click to vote
NETWORKING
2004
15 years 7 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...