Sciweavers

3147 search results - page 37 / 630
» Statistically Hiding Sets
Sort
View
FCCM
2005
IEEE
106views VLSI» more  FCCM 2005»
15 years 3 months ago
High-Performance FPGA-Based General Reduction Methods
FPGA-based floating-point kernels must exploit algorithmic parallelism and use deeply pipelined cores to gain a performance advantage over general-purpose processors. Inability t...
Gerald R. Morris, Ling Zhuo, Viktor K. Prasanna
80
Voted
MATES
2005
Springer
15 years 3 months ago
BSCA-P: Privacy Preserving Coalition Formation
In the setting of cooperation of rational web service agents via coalition formation, we devise an algorithm BSCA-P to form recursively bilateral Shapley value stable coalitions. T...
Bastian Blankenburg, Matthias Klusch
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 1 months ago
Equations: A Dependent Pattern-Matching Compiler
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
Matthieu Sozeau
CCR
2004
74views more  CCR 2004»
14 years 9 months ago
Unveiling the transport
Traditional application programming interfaces for transport protocols make a virtue of hiding most internal per-connection state. We argue that this informationhiding precludes m...
Jeffrey C. Mogul, Lawrence S. Brakmo, David E. Low...
LREC
2010
152views Education» more  LREC 2010»
14 years 11 months ago
English-Spanish Large Statistical Dictionary of Inflectional Forms
The paper presents an approach for constructing a weighted bilingual dictionary of inflectional forms using as input data a traditional bilingual dictionary, and not parallel corp...
Grigori Sidorov, Alberto Barrón-Cedeñ...