1
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... or TST? -- Quo Vadis Answer Set Programming? -- Answer Set Programming without Unstratified Negation...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... for Analyzing Running Times of Parallel Evolutionary Algorithms -- Negative Drift in Populations -- Log...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... -- Preemptive Scheduling of Independent Jobs on Identical Parallel Machines Subject to Migration Delays...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Negation in Well-Founded and Partial Stable Semantics for Logic Programs -- MAT Logic: A Temporal×Modal...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Formal Framework for Static (Tissue) P Systems -- Conformon-P Systems with Negative Values -- Optimizing...
View full text
Electronic eBook
16
Subjects: ...Control and Systems Theory. https://scigraph.springernature.com/ontologies/product-market-codes...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...
View full text
Electronic eBook
18
Published 2012
Table of Contents: ... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Algorithms -- A Survey of Probabilistic Model Building Genetic Programming -- Efficiency Enhancement...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...
View full text
Electronic eBook