1
Vydáno 2008
Obsah: ... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2006
Obsah: ...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...
Získat plný text
Elektronický zdroj E-kniha
3
Vydáno 2013
Obsah: ... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...
Získat plný text
Elektronický zdroj E-kniha
4
Vydáno 2015
Obsah: ... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...
Získat plný text
Elektronický zdroj E-kniha
5
Vydáno 2007
Obsah: ... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...
Získat plný text
Elektronický zdroj E-kniha
6
Vydáno 2010
Obsah: ... Modeling -- What Matters Most in Portfolio Construction? -- Risk Management and Portfolio Optimization...
Získat plný text
Elektronický zdroj E-kniha
7
Vydáno 2010
Obsah: ... -- Approximating the Pareto Front of Multi-criteria Optimization Problems -- Decision Procedures -- An Alternative...
Získat plný text
Elektronický zdroj E-kniha
8
Vydáno 2008
Obsah: ... Problems -- Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs...
Získat plný text
Elektronický zdroj E-kniha
9
Vydáno 2005
Obsah: ... Design: Optimization Challenges -- Models for Solving the Travelling Salesman Problem -- Technical Papers...
Získat plný text
Elektronický zdroj E-kniha
10
Obsah: ... programming -- Linear programming with set coefficients -- Fuzzy linear optimization -- Interval linear...
Získat plný text
Elektronický zdroj E-kniha
11
Autor Shen, Alexander., Shen, Alexander.
Vydáno 2010
Obsah: ... and non-recursive programs -- Graph algorithms -- Pattern matching -- Games analysis -- Optimal coding...
Získat plný text
Elektronický zdroj E-kniha
12
Vydáno 2006
Obsah: ... Optimization of Topology Design Problems -- Image Processing Ideas and Level Sets -- Impedance Imaging...
Získat plný text
Elektronický zdroj E-kniha
13
Obsah: ...Methods for Finding Geometric Extrema -- Selected Types of Geometric Extremum Problems...
Získat plný text
Elektronický zdroj E-kniha
14
Vydáno 2005
Obsah: ... in Crossover Designs -- Bias in Estimating the Variance of K-Fold Cross-Validation -- Effective Construction...
Získat plný text
Elektronický zdroj E-kniha
15
Vydáno 2015
Obsah: ...The Effect of Distinct Geometric Semantic Crossover Operators in Regression Problems -- Learning...
Získat plný text
Elektronický zdroj E-kniha
16
Vydáno 2005
Obsah: ...Invited Talks -- The Evolution of Optimality: De Novo Programming -- Many-Objective Optimization...
Získat plný text
Elektronický zdroj E-kniha
17
Vydáno 2014
Obsah: ... in Wireless Sensor Networks -- Performance Analysis and Improvement for the Construction of MCDS Problem in 3D...
Získat plný text
Elektronický zdroj E-kniha
18
Vydáno 2010
Obsah: ... of Optimization Problems on Power Law Graphs -- Cyclic Vertex Connectivity of Star Graphs -- The Number...
Získat plný text
Elektronický zdroj E-kniha
19
Vydáno 2008
Obsah: ... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...
Získat plný text
Elektronický zdroj E-kniha
20
Vydáno 2008
Obsah: ... for Solving Constraint Satisfaction Problems -- Cooperative Particle Swarm Optimization for the Delay...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání