1
Published 2008
Table of Contents: ... SIMD Interpreter for Genetic Programming on GPU Graphics Cards -- Partitioned Incremental Evolution...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... Tools Infrastructures -- Low-Overhead Detection of Memory Access Patterns and Their Time Evolution...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Query Graph Based on Degrees and Their Time-Evolution -- t-UNITY – A Formal Framework for Modeling...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Class of Pareto Archived Evolution Strategy Algorithms Using Immune Inspired Operators for Ab-Initio...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ...: Improving Classification of Protein Families with a Minimal Set of Global Features -- Fault Tolerance...
View full text
Electronic eBook
8
Published 2012
Table of Contents: ... for Set-Valued Mappings.-Optimal Control of Multibody Systems in Resistive Media.-Classical and Relaxed...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ...Keynote Speech -- Programming Challenges for Petascale and Multicore Parallel Systems -- Towards...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... Multiplicative Complexity of Symmetric Functions -- On the Complexity of Limit Sets of Cellular Automata...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... for Ungapped Markov Models of Evolution -- Linear Programming for Phylogenetic Reconstruction Based on Gene...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... for Learning Local Patterns in Time-Stamped Data -- Boolean Property Encoding for Local Set Pattern Discovery...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... Evolution Approach to Multi-level Image Thresholding Using Type II Fuzzy Sets -- Differential Evolution...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- DWEB: A Data Warehouse Engineering Benchmark -- A Set of Quality Indicators and Their Corresponding...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ... Priming in Spatio-temporal Neural Networks -- Set-Similarity Joins Based Semi-supervised Sentiment...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... Synthesis of Circular Arrays Based on the Niche Genetic Algorithm -- The Application of Wavelet Analysis...
View full text
Electronic eBook