8699 search results - page 217 / 1740 » Elements of the Theory of Computation |
154
click to vote
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
This paper considers the development of a general framework for the analysis of transmit beamforming methods in multiple antenna systems with finite-rate feedback. Inspired by the...
156
click to vote
IPPS
2006
IEEE
16 years 18 days ago
2006
IEEE
Cooperative checkpointing uses global knowledge of the state and health of the machine to improve performance and reliability by dynamically deciding when to skip checkpoint reque...
160
click to vote
CONCUR
2005
Springer
16 years 4 days ago
2005
Springer
Many decidability results are known for non-recursive cryptographic protocols, where the protocol steps can be expressed by simple rewriting rules. Recently, a tree transducer-base...
185
click to vote
ILP
2005
Springer
16 years 3 days ago
2005
Springer
Online learning algorithms such as Winnow have received much attention in Machine Learning. Their performance degrades only logarithmically with the input dimension, making them us...
202
click to vote
RTA
2005
Springer
16 years 2 days ago
2005
Springer
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...