1
Publié 2006
Table des matières: ... Preprocessing Methods for Quantifier Elimination -- Symbolic and Numerical Calculation of Transport Integrals...
Accéder au texte intégral
Électronique eBook
2
Publié 2013
Table des matières: ... Classifiers to Data Stream Classification -- Efficacy of Some Primary Discriminant Functions in Diagnosing...
Accéder au texte intégral
Électronique eBook
3
Publié 2013
Table des matières: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
Accéder au texte intégral
Électronique eBook
4
Publié 2008
Table des matières: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Accéder au texte intégral
Électronique eBook
5
Publié 2014
Table des matières: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Accéder au texte intégral
Électronique eBook
6
Publié 2012
Table des matières: ... to Explore Functional Genomics Data Sets in NCBI’s GEO Database.-Analyzing Cancer Samples with SNP Arrays...
Accéder au texte intégral
Électronique eBook
7
Publié 2008
Table des matières: ... the Competitive Ratio of the Online OVSF Code Assignment Problem -- Optimal Key Tree Structure for Deleting Two...
Accéder au texte intégral
Électronique eBook
8
Publié 2007
Table des matières: ... with Preprocessing -- Games, Time, and Probability: Graph Models for System Design and Analysis -- Agreement...
Accéder au texte intégral
Électronique eBook
9
Publié 2012
Table des matières: ... for Detection of Macula in Fundus Images -- The Brain’s Sequential Parallelism: Perceptual Decision-Making...
Accéder au texte intégral
Électronique eBook
10
Publié 2015
Table des matières: ... for FPGA-based Parallel String Matching Engine; H.Kim -- Revised P2P Data Sharing Scheme over Distributed...
Accéder au texte intégral
Électronique eBook
11
Publié 2006
Table des matières: ... for Triangular Meshes Using Local Radial Basis Function -- Hexahedral Meshing -- A Constructive Approach...
Accéder au texte intégral
Électronique eBook
12
Publié 2006
Table des matières: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
Accéder au texte intégral
Électronique eBook
13
Publié 2010
Table des matières: ... for Distributional Stopword Selection in Text Segmentation -- Using TectoMT as a Preprocessing Tool for Phrase-Based...
Accéder au texte intégral
Électronique eBook