1
Published 2005
Table of Contents: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
3
Table of Contents: ... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...
View full text
Electronic eBook
5
by Raynal, Michel., Raynal, Michel.
Published 2013
Table of Contents: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
View full text
Electronic eBook
7
Table of Contents: ... Protocol Security. Summary -- Bioinformatics Applications. Introduction. Applications. Dynamic Programming...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... -- Parallel Coordinates: Visualization, Exploration and Classification of High-Dimensional Data -- Matrix...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Summarization -- Summary Generation Centered on Important Words -- Sentence Compression Learned by News Headline...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Indexing Scheme for Web Entity Retrieval -- Object Link Structure in the Semantic Web -- ExpLOD: Summary...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... Unification -- The Summary Abox: Cutting Ontologies Down to Size -- Semantic Metadata Generation for Large...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... of Feasible Learning Functionals -- Parallelism Increases Iterative Learning Power -- Prescribed Learning...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ...-Contractive Maps, h Function and the Maximally regular Graph: A new methodology for data mining; Massimo...
View full text
Electronic eBook