1
Published 2010
Table of Contents: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
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 2015
Table of Contents: ... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...
View full text
Electronic eBook
5
Table of Contents: ...-free inference for Markov processes -- Predictive inference for locally stationary time series -- Model...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Handlers as Extensible Cases -- Sound and Complete Type Inference for a Systems Programming Language...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Data-Driven Systems for Improving Named Entity Recognition -- Natural Language Processing: Mature...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... -- A Research on Knowledge Reduction of Information Systems Based on Sub-Consciousness -- Optimal...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... -- The nomore?+?+ Approach to Answer Set Solving -- Optimizing the Runtime Processing of Types in Polymorphic...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... Massively Parallel Sequencing using Convex Optimization -- Distributed Query Processing on Compressed Graphs...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... in the DRT Framework -- DCT Watermarking Optimization by Genetic Programming -- Searching Text Corpora...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ... Neural Network Classifier -- Optimization Path Programming Using Improved Multi-Group Ant Colony...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... of Agreement Subtrees -- Practical Bias Variance Decomposition -- Using Gaussian Processes to Optimize...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... Processing of Linked Stream Data in the Cloud -- Towards Constructive Evidence of Data Flow-Oriented Web...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Domains -- Early-Stopping k-Set Agreement in Synchronous Systems Prone to Any Number of Process Crashes...
View full text
Electronic eBook
17
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
18
Published 2007
Table of Contents: ... Range Correlations -- On Constructing a Communicative Space in HRI -- Natural Language Descriptions...
View full text
Electronic eBook
19
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
20
Published 2010
Table of Contents: ... of C Programs -- Analysing Message Sequence Graph Specifications -- Optimize Context-Sensitive Andersen...
View full text
Electronic eBook