1
Published 2006
Table of Contents: ... Preprocessing Methods for Quantifier Elimination -- Symbolic and Numerical Calculation of Transport Integrals...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Classifiers to Data Stream Classification -- Efficacy of Some Primary Discriminant Functions in Diagnosing...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... Unsplittable-Flow-Covering Helps Scheduling with Job-Dependent Cost Functions -- Why Some Heaps Support...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Extra Array? -- Some Constrained Notions of Planarity -- Reachability Problems on Directed Graphs -- 1A...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... and Efficient Geometric Computing -- Some Computational Challenges in Today’s Bio-medicine -- Contributed Papers...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... for Distributional Stopword Selection in Text Segmentation -- Using TectoMT as a Preprocessing Tool for Phrase-Based...
View full text
Electronic eBook