1
Published 2010
Table of Contents: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... of Radiologists for Lung Nodule Detection in CT Scans -- Parallel Computations for Logic-Algebraic Based Expert...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...Graphs of Grammars – Derivations as Parallel Processes -- MTTool Software Tool and Low Complexity...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... for Heterogeneous Ensembles of Nearest-neighbour Classifiers Using Hybrid Tabu Search -- A Parallel Ant Colony...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ...From the content: Simulation of Smog Diffusing Based on Particle Swarm Optimization -- Self...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Mobility -- SinguLab – A Graphical User Interface for the Singularity Analysis of Parallel Robots Based...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... for Hyperelliptic Curves -- Smallest Reduction Matrix of Binary Quadratic Forms -- Practical Improvements to Class...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... System for Power Quality Improvement in Grid-Parallel Microgrid -- A Distance Sorting Based Multi...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... scalarising functions for decomposition based algorithms -- A bi-level multiobjective PSO algorithm...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... -- Connectedness of Offset Digitizations in Higher Dimensions -- Curvature Estimation for Discrete Curves Based...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Algorithms -- Semantic Similarity Based Crossover in GP: The Case for Real-Valued Function Regression...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... Extraction of Palm Vein Patterns Based on Two-Dimensional Density Function -- Segmentation Based Feature...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... of the Projections of the 2-adic Golay Code of Length 24 to Z2e -- Computer Based Reconstruction of Binary Extremal...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... of Statistical Randomness Tests -- New Distinguishers Based on Random Mappings against Stream Ciphers -- A...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ...-Related Haplotyping Problems -- Sincere-Strategy Preference-Based Approval Voting Broadly Resists Control...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Multi-Core Environments -- waLBerla: Optimization for Itanium-based Systems with Thousands of Processors...
View full text
Electronic eBook
20
Published 2015
Table of Contents: ... to Implement FSMs in Heterogenous FPGAs -- Efficient Functional Decomposition Algorithm Based on Indexed...
View full text
Electronic eBook