1
Published 2013
Table of Contents: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... Selection and Question-Answer Ranking in IBM Watson -- Automatic Evolution of Parallel Recursive Programs...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ...Design Challenges in Multiprocessor Systems-on-Chip -- Some Issues in Model-Based Development...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
View full text
Electronic eBook
9
Published 2012
Table of Contents: ... Wetlands.-Parallel Computation of Sensitivity Analysis Data for the Danish Eulerian Model.-Implementation...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Classification: A Probabilistic Model with Relational Uncertainty -- Evidential Multi-Label Classification...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Recommender System -- Parallel Randomized Load Balancing: A Lower Bound for a More General Model -- Ant-CSP...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... for Concurrent Objects with Cooperative Scheduling -- Fault Model Design Space for Cooperative Concurrency...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Scheduling on Heterogeneous Cluster -- A Steepest Descent Evolution Immune Algorithm for Multimodal Function...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... Functions for Pleasant Music: Zipf’s Law and Interactive Evolution Systems -- Understanding Expressive Music...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ...Invited Lectures -- Psim: A Computational Platform for Metabolic P Systems -- Modeling the Dynamics...
View full text
Electronic eBook