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