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