Sciweavers

642 search results - page 44 / 129
» corr 2006
Sort
View
CORR
2010
Springer
70views Education» more  CORR 2010»
14 years 9 months ago
Computation in Large-Scale Scientific and Internet Data Applications is a Focus of MMDS 2010
A report is provided for the ACM SIGKDD community about the 2010 Workshop on Algorithms for Modern Massive Data Sets (MMDS 2010), its origin in MMDS 2006 and MMDS 2008, and future...
Michael W. Mahoney
CORR
2011
Springer
163views Education» more  CORR 2011»
14 years 7 months ago
Cryptanalysis of three matrix-based key establishment protocols
We cryptanalyse a matrix-based key transport protocol due to Baumslag, Camps, Fine, Rosenberger and Xu from 2006. We also cryptanalyse two recently proposed matrix-based key agree...
Simon R. Blackburn, Carlos Cid, Ciaran Mullan
105
Voted
CORR
2006
Springer
99views Education» more  CORR 2006»
15 years 15 days ago
Inductive types in the Calculus of Algebraic Constructions
In a previous work, we proved that almost all of the Calculus of Inductive Constructions (CIC), the basis of the proof assistant Coq, can be seen as a Calculus of Algebraic Constru...
Frédéric Blanqui
CORR
2006
Springer
129views Education» more  CORR 2006»
15 years 15 days ago
MIMO Broadcast Channels with Finite Rate Feedback
Multiple transmit antennas in a downlink channel can provide tremendous capacity (i.e. multiplexing) gains, even when receivers have only single antennas. However, receiver and tra...
Nihar Jindal
127
Voted
CORR
2006
Springer
140views Education» more  CORR 2006»
15 years 15 days ago
Nearly optimal exploration-exploitation decision thresholds
While in general trading off exploration and exploitation in reinforcement learning is hard, under some formulations relatively simple solutions exist. Optimal decision thresholds ...
Christos Dimitrakakis