Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
internal optimization » interval optimization, material optimization, integer optimization
optimization program » optimization problem, optimization problems, optimization proximal
problems constructs » problems constructions, problems construction, problem construction
program problems » programs problems, program problem, programs problem
constructs https » construction https, constructs loops, constructs arti
internal optimization » interval optimization, material optimization, integer optimization
optimization program » optimization problem, optimization problems, optimization proximal
problems constructs » problems constructions, problems construction, problem construction
program problems » programs problems, program problem, programs problem
constructs https » construction https, constructs loops, constructs arti
1
Published 2008
Table of Contents:
“... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Problems -- Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Design: Optimization Challenges -- Models for Solving the Travelling Salesman Problem -- Technical Papers...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Salesman Problem -- Improved Inapproximability for Submodular Maximization -- Approximation Algorithms...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“...Invited Talks -- The Evolution of Optimality: De Novo Programming -- Many-Objective Optimization...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... in Wireless Sensor Networks -- Performance Analysis and Improvement for the Construction of MCDS Problem in 3D...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... -- Approximating the Pareto Front of Multi-criteria Optimization Problems -- Decision Procedures -- An Alternative...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... of Optimization Problems on Power Law Graphs -- Cyclic Vertex Connectivity of Star Graphs -- The Number...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... Method for Reliable Parameter Estimation of Exponential Sums -- Global Optimization -- Convex Programming...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“...: Multistage Optimization for Matroids and Matchings -- Problems -- Nearly Linear-Time Model-Based Compressive...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Optimization -- Plane Spanners of Maximum Degree Six -- The Positive Semidefinite Grothendieck Problem...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Theory of Time-Bounded Verification -- Physical Algorithms -- Session 1-Track B. Automata -- Optimal...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... for Relational Domains -- Full Papers -- Induction of Optimal Semantic Semi-distances for Clausal Knowledge Bases...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... to Sensor Resource Management -- Constructing Optimal Cyclic Tours for Planar Exploration and Obstacle...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”View full text
Electronic
eBook