2976 search results - page 494 / 596 » On the bounded integer programming |
130
click to vote
RV
2010
Springer
15 years 1 months ago
2010
Springer
Software transactional memories (STMs) promise simple and efficient concurrent programming. Several correctness properties have been proposed for STMs. Based on a bounded conflict ...
156
click to vote
ENTCS
2010
15 years 21 days ago
2010
The zipper is a well known design pattern for providing a cursor-like interface to a data structure. However, the classic treatise by Huet only scratches the surface of some of it...
154
click to vote
TCIAIG
2010
14 years 10 months ago
2010
Monte-Carlo tree search has recently been very successful for game playing particularly for games where the evaluation of a state is difficult to compute, such as Go or General Gam...
119
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper proposes a method to optimize the performance of tandem source–channel coding with respect to the mean-squared error by exploiting the unequal error protection coding...
117
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
—This paper deals with optimized training sequences to estimate multiple-input multiple-output orthogonal frequencydivision multiplexing (MIMO-OFDM) channel states in the presenc...