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