1
Published 2006
Table of Contents: ... Multiplication with a Classifier Learning System -- A Language for the Compact Representation of Multiple Program...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... of Modular Aggregation Functions -- Smooth Aggregation Functions on Finite Scales -- Dual Representable...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Length with Location Information to Align Monolingual Parallel Texts -- Web Search -- Effective Topic...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... -- Computing Matrix Representations of Filiform Lie Algebras -- Type Specialization in Aldor -- An Algebraic...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... -- Compact Rich-Functional Binary Relation Representations -- Radix Cross-Sections for Length Morphisms...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... Loopless Gray Code for Minimal Signed-Binary Representations -- Efficient Approximation Schemes...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ...? -- Static Graphics -- Data Visualization Through Their Graph Representations -- Graph-theoretic Graphics...
View full text
Electronic eBook