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