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