1
出版 2008
书本目录: ... for the Future -- Parallelization of Sphere-Decoding Methods -- Improving the Performance of a Verified Linear...
获取全文
电子 电子书
2
出版 2007
书本目录: ... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...
获取全文
电子 电子书
3
出版 2008
书本目录: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
获取全文
电子 电子书
4
出版 2010
书本目录: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
获取全文
电子 电子书
5
出版 2013
书本目录: ... Large Frequency Moments with Pick-and-Drop Sampling -- Generalizing the Layering Method of Indyk...
获取全文
电子 电子书
6
出版 2006
书本目录: ...”? Applying formal verification methods and real-time rule-based systems to control systems and robotics...
获取全文
电子 电子书
7
出版 2006
书本目录: ... for Decoding Gabidulin Codes -- On the Weights of Binary Irreducible Cyclic Codes -- 3-Designs from Z 4...
获取全文
电子 电子书
8
出版 2012
书本目录: ... -- Decoding Network Activity from LFPs: A Computational Approach -- Evolutionary Design of the Closed Loop...
获取全文
电子 电子书
9
出版 2012
书本目录: ... for Robust Speaker Identification of G.729 Decoded Speech -- Early-Vision-Inspired Method to Distinguish...
获取全文
电子 电子书
10
出版 2006
书本目录: ... Translucency Using Dynamic Programming -- A Method for Detection and Modeling of the Human Spine Based...
获取全文
电子 电子书
11
出版 2013
书本目录: ... for Lexicographic Orders -- Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger...
获取全文
电子 电子书