Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming local » programming logical, programming logic, programming linear
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
programming local » programming logical, programming logic, programming linear
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
1
Published 2006
Table of Contents:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“...Pushing Constraints to Detect Local Patterns -- From Local to Global Patterns: Evaluation Issues...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“...Harald Ganzinger’s Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”View full text
Electronic
eBook
9
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... Bounds -- Quantifying Competitiveness in Paging with Locality of Reference -- Approximation Algorithms...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“...: Abstracting Away Higher-Orderness for Program Verification -- Local Reasoning for Storable Locks and Threads...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“...Invited Talks -- Local Search: Simple, Successful, But Sometimes Sluggish -- When Conflicting...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
17
Published 2015
Table of Contents:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... -- Linear Problem Kernels for NP-Hard Problems on Planar Graphs -- Session C3 -- Private Locally Decodable...”View full text
Electronic
eBook
19
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”View full text
Electronic
eBook
20