1
Published 2006
Table of Contents: ... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... -- Mahalanobis Distance-Based Algorithm for Ellipse Growing in Iris Preprocessing -- The Data Exploration System...
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 2012
Table of Contents: ... to Explore Functional Genomics Data Sets in NCBI’s GEO Database.-Analyzing Cancer Samples with SNP Arrays...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Extra-Functional Prediction of Component-Based Control Systems – Industrial Experience -- Explicit...
View full text
Electronic eBook
8
Published 2012
Table of Contents: ... Series Prediction Method Based on LS-SVR with Modified Gaussian RBF -- An Improved Method...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Remeshing Procedure for Numerical Simulation -- Mesh Adaptation -- A Solution-Based Adaptive Redistribution...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... Using O(logn) Parallel Moves -- Squaring the Circle with Weak Mobile Robots -- 4B Database -- Evaluation...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... for FPGA-based Parallel String Matching Engine; H.Kim -- Revised P2P Data Sharing Scheme over Distributed...
View full text
Electronic eBook
12
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
13
Published 2006
Table of Contents: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
View full text
Electronic eBook