1
Published 2008
Table of Contents: ...) - Model Evolution with Linear Integer Arithmetic Constraints -- A Constraint Sequent Calculus for First...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...
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 2007
Table of Contents: ... of Tiling Arrays Using a Shortest Path Approach -- Efficient and Accurate Construction of Genetic Linkage...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Management -- DIET: Building Problem Solving Environments for the Grid -- The Future Evolution of High...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... with Convex Polygons and Pseudo-triangles -- Approximate Shortest Path Queries on Weighted Polyhedral Surfaces...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Self-checking Circuits -- Mechanical Hardware Evolution -- Sliding Algorithm for Reconfigurable Arrays...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... for Ungapped Markov Models of Evolution -- Linear Programming for Phylogenetic Reconstruction Based on Gene...
View full text
Electronic eBook
10
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
11
Published 2010
Table of Contents: ... Algorithm with Path Relinking for the p-Median Problem -- Information, Integration and Extraction -- Using...
View full text
Electronic eBook