1
Published 2010
Table of Contents: ... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...
View full text
Electronic eBook
2
Subjects: ...Applications of Mathematics. https://scigraph.springernature.com/ontologies/product-market-codes/M...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
View full text
Electronic eBook
4
Table of Contents: ...CDO: General Characteristics.- Credit Risk Modeling -- Copula Functions and Dependency Concepts...
View full text
Electronic eBook
5
Table of Contents: ... Chaining -- 3. Random Fourier Series and Trigonometric Sums, I. - 4. Matching Theorems I -- 5. Bernouilli...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... Bipartite Matching in Matrix Multiplication Time -- Algorithms I -- Optimal Resilient Sorting and Searching...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Pattern Matching -- Persistent Oberon: A Programming Language with Integrated Persistence -- More Typed...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... -- On the Implementation of Construction Functions for Non-free Concrete Data Types -- Anti-pattern Matching -- Language...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
16
17
Published 2010
Table of Contents: ... Dictionaries -- Faster Algorithms for Semi-matching Problems (Extended Abstract) -- Clustering with Diversity...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... Functions in Gene Expression Programming -- Evolving Intrusion Detection Systems -- Evolutionary Pattern...
View full text
Electronic eBook