Rekommenderade teman
Rekommenderade teman
Menade du:
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
Publicerad 2010
Innehållsförteckning:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2005
Innehållsförteckning:
“... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2015
Innehållsförteckning:
“... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2007
Innehållsförteckning:
“... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...”Hämta fulltext
Elektronisk
E-bok
5
Innehållsförteckning:
“...-free inference for Markov processes -- Predictive inference for locally stationary time series -- Model...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2008
Innehållsförteckning:
“... Handlers as Extensible Cases -- Sound and Complete Type Inference for a Systems Programming Language...”Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2010
Innehållsförteckning:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”Hämta fulltext
Elektronisk
E-bok
8
Natural Language Processing and Information Systems 10th International Conference on Applications...
Publicerad 2005
Innehållsförteckning:
“... Data-Driven Systems for Improving Named Entity Recognition -- Natural Language Processing: Mature...”Hämta fulltext
Elektronisk
E-bok
9
Publicerad 2005
Innehållsförteckning:
“... -- A Research on Knowledge Reduction of Information Systems Based on Sub-Consciousness -- Optimal...”Hämta fulltext
Elektronisk
E-bok
10
Publicerad 2005
Innehållsförteckning:
“... -- The nomore?+?+ Approach to Answer Set Solving -- Optimizing the Runtime Processing of Types in Polymorphic...”Hämta fulltext
Elektronisk
E-bok
11
Publicerad 2013
Innehållsförteckning:
“... Massively Parallel Sequencing using Convex Optimization -- Distributed Query Processing on Compressed Graphs...”Hämta fulltext
Elektronisk
E-bok
12
Publicerad 2006
Innehållsförteckning:
“... in the DRT Framework -- DCT Watermarking Optimization by Genetic Programming -- Searching Text Corpora...”Hämta fulltext
Elektronisk
E-bok
13
Publicerad 2013
Innehållsförteckning:
“... Neural Network Classifier -- Optimization Path Programming Using Improved Multi-Group Ant Colony...”Hämta fulltext
Elektronisk
E-bok
14
Publicerad 2008
Innehållsförteckning:
“... of Agreement Subtrees -- Practical Bias Variance Decomposition -- Using Gaussian Processes to Optimize...”Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2013
Innehållsförteckning:
“... Processing of Linked Stream Data in the Cloud -- Towards Constructive Evidence of Data Flow-Oriented Web...”Hämta fulltext
Elektronisk
E-bok
16
Publicerad 2005
Innehållsförteckning:
“... Domains -- Early-Stopping k-Set Agreement in Synchronous Systems Prone to Any Number of Process Crashes...”Hämta fulltext
Elektronisk
E-bok
17
Publicerad 2014
Innehållsförteckning:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Hämta fulltext
Elektronisk
E-bok
18
Publicerad 2007
Innehållsförteckning:
“... Range Correlations -- On Constructing a Communicative Space in HRI -- Natural Language Descriptions...”Hämta fulltext
Elektronisk
E-bok
19
Publicerad 2010
Innehållsförteckning:
“... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...”Hämta fulltext
Elektronisk
E-bok
20
Publicerad 2010
Innehållsförteckning:
“... of C Programs -- Analysing Message Sequence Graph Specifications -- Optimize Context-Sensitive Andersen...”Hämta fulltext
Elektronisk
E-bok