1
Published 2008
Table of Contents: ... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... Logic Programming -- Opening Doors: An Initial SRL Approach -- Probing the Space of Optimal Markov Logic...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Handlers as Extensible Cases -- Sound and Complete Type Inference for a Systems Programming Language...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
View full text
Electronic eBook
6
by Sestoft, Peter., Sestoft, Peter.
Published 2012
Table of Contents: ... -- Locally Optimizing Compiler -- Crash Course in F# -- Index....
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... Programming -- Belief Change in Nonmonotonic Multi-Context Systems -- On optimal solutions of answer set...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Tractable Classes of Horn Clauses -- Infering Ownership Types for Encapsulated Object-Oriented Program...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...
View full text
Electronic eBook
12
Table of Contents: ... -- Linear time series and optimal linear prediction -- Model-based prediction in autoregression -- Model...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ...Invited Talks -- The Evolution of Optimality: De Novo Programming -- Many-Objective Optimization...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ...: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
View full text
Electronic eBook
16
by Albert, Jim., Albert, Jim.
Published 2007
Subjects: ...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... of State for Adjacent Agents -- Optimal Behavior of a Moving Creature in the Cellular Automata Model...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... of C Programs -- Analysing Message Sequence Graph Specifications -- Optimize Context-Sensitive Andersen...
View full text
Electronic eBook