1
Published 2010
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
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
... years). The functional training group received three 60 min sessions per week for 12 weeks, while...
View full text
Article
4
Published 2008
Table of Contents: ...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... for Heterogeneous Modal Logics -- Co-Logic Programming: Extending Logic Programming with Coinduction -- Session C4...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... -- Session 10-Track B. Automata -- Regular Temporal Cost Functions -- Model Checking Succinct and Parametric...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... the Partition Function of the Ferromagnetic Potts Model -- Session 7-Track A. Algebraic Problems...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Program Analysis and Accurate Data Types in Usage Analysis -- Session 5 -- A Modal Language for the Safety...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Programming -- Sequential-Merge Facets for Two-Dimensional Group Problems -- Session 2 -- Triangle-Free Simple...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...
View full text
Electronic eBook
14
Table of Contents: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
View full text
Electronic eBook
15
16
Published 2006
Table of Contents: ...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... ergonomic analysis -- Measuring patent similarity by comparing inventions functional trees -- Representing...
View full text
Electronic eBook
19
Table of Contents: ... Manipulation, Functions -- R and its Documentation -- Drawing Curves and Plots -- Programming in R -- Managing...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... -- Session 3. Case Studies -- A Framework for Distributing Real-Time Functions -- Formal Modeling...
View full text
Electronic eBook