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...
獲取全文
電子 電子書