1
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... of Propositional Interval Neighborhood Logics -- Reasoning About Sequences of Memory States -- Cut Elimination...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... Categorization: Features Selection Based on the Extraction of Words’ Roots -- Restoration of Arabic Diacritics...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Recovery -- Formally Efficient Program Instrumentation -- Interval Analysis for Concurrent Trace Programs...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Deformation Techniques -- Automatic Generation of Virtual Computer Rooms on the Internet Using X3D -- Stained...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Recognition by Immune Neural Network -- Composing Different Models of Computation in Kepler and Ptolemy II...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ...Workshop on Numerical Methods and Modeling/Simulations in Computational Science and Engineering...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... to Evolve Programs -- Fuzzy Pattern Rule Induction for Information Extraction -- An Orthogonal and Model...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... for Extracting Feature Curves from Triangular Meshes -- A Feature-Preserving and Volume-Constrained Flow...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ...Power Aware Computing -- Real-Time Loop Scheduling with Energy Optimization Via DVS and ABB...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... for Distributed Memory Computers -- Tools and Environments for Parallel/Distributed/Grid Computing -- Extracting...
View full text
Electronic eBook
16
Published 2015
Table of Contents: ... Information -- A Neural Model of Number Interval Position Effect (NIPE) in Children -- A Volumetric Radial LBP...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... -- Narrowing Down the Gap on the Complexity of Coloring P k -Free Graphs -- Computing the Cutwidth of Bipartite...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ...Computational Complexity of Generalized Domination: A Complete Dichotomy for Chordal Graphs...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Extraction in Social Networks -- Identifying Representative Reviewers in Internet Social Media -- Fitcolab...
View full text
Electronic eBook
20
Published 2013
Table of Contents: ...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...
View full text
Electronic eBook