1
Publicado 2008
Tabla de Contenidos: ... Problems -- Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs...
Enlace del recurso
Electrónico eBook
2
Publicado 2005
Tabla de Contenidos: ... Design: Optimization Challenges -- Models for Solving the Travelling Salesman Problem -- Technical Papers...
Enlace del recurso
Electrónico eBook
3
Publicado 2015
Tabla de Contenidos: ... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...
Enlace del recurso
Electrónico eBook
4
Publicado 2007
Tabla de Contenidos: ... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...
Enlace del recurso
Electrónico eBook
5
Publicado 2008
Tabla de Contenidos: ... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...
Enlace del recurso
Electrónico eBook
6
Publicado 2006
Tabla de Contenidos: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
Enlace del recurso
Electrónico eBook
7
Publicado 2005
Tabla de Contenidos: ...Invited Talks -- The Evolution of Optimality: De Novo Programming -- Many-Objective Optimization...
Enlace del recurso
Electrónico eBook
8
Tabla de Contenidos: ... -- Linear time series and optimal linear prediction -- Model-based prediction in autoregression -- Model...
Enlace del recurso
Electrónico eBook
9
Publicado 2010
Tabla de Contenidos: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
Enlace del recurso
Electrónico eBook
10
por Albert, Jim., Albert, Jim.
Publicado 2007
Tabla de Contenidos: ... -- Regression Models -- Gibbs Sampling -- Using R to Interface with WinBUGS....
Enlace del recurso
Electrónico eBook
11
Publicado 2005
Tabla de Contenidos: ... Permutation Problems -- A Multistart Scatter Search Heuristic for Smooth NLP and MINLP Problems -- Scatter...
Enlace del recurso
Electrónico eBook
12
Publicado 2006
Tabla de Contenidos: ... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...
Enlace del recurso
Electrónico eBook
13
Publicado 2013
Tabla de Contenidos: ... -- Conflict-based Program Rewriting for Solving Configuration Problems -- Program Updating by Incremental...
Enlace del recurso
Electrónico eBook
14
Publicado 2005
Tabla de Contenidos: ... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...
Enlace del recurso
Electrónico eBook
15
Publicado 2008
Tabla de Contenidos: ... to Construct Benchmark Problems for Dynamic Optimization -- A Study on the Performance of Substitute Distance...
Enlace del recurso
Electrónico eBook
16
Publicado 2010
Tabla de Contenidos: ...Keynote Speeches -- Selected Problems of the Static Complex Systems Identification -- Combining...
Enlace del recurso
Electrónico eBook
17
Publicado 2005
Tabla de Contenidos: ... of State for Adjacent Agents -- Optimal Behavior of a Moving Creature in the Cellular Automata Model...
Enlace del recurso
Electrónico eBook
18
Publicado 2010
Tabla de Contenidos: ... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...
Enlace del recurso
Electrónico eBook
19
Publicado 2010
Tabla de Contenidos: ... Information Security Risk Assessment Model -- Constructing Problem-Based Learning Activities Using Self...
Enlace del recurso
Electrónico eBook
20
Publicado 2010
Tabla de Contenidos: ... Method for Constructing Decision Trees Based on Ant Colony Optimization -- A Cross-Entropy Based...
Enlace del recurso
Electrónico eBook