Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
optimization processing » optimization proceedings, optimization process, optimization processes
inference optimization » preference optimization, incidence optimization, interface optimization
programmed constructs » programming constructs, programme contract, programmed instructions
constructs https » construction https, constructs loops, constructs arti
optimization processing » optimization proceedings, optimization process, optimization processes
inference optimization » preference optimization, incidence optimization, interface optimization
programmed constructs » programming constructs, programme contract, programmed instructions
constructs https » construction https, constructs loops, constructs arti
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
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
Natural Language Processing and Information Systems 10th International Conference on Applications...
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



