1
Izdano 2008
Kazalo: ... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...
Polni tekst
Elektronski eKnjiga
2
Izdano 2008
Kazalo: ... Problems -- Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs...
Polni tekst
Elektronski eKnjiga
3
Izdano 2005
Kazalo: ... Design: Optimization Challenges -- Models for Solving the Travelling Salesman Problem -- Technical Papers...
Polni tekst
Elektronski eKnjiga
4
Izdano 2006
Kazalo: ...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...
Polni tekst
Elektronski eKnjiga
5
Izdano 2013
Kazalo: ... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...
Polni tekst
Elektronski eKnjiga
6
Izdano 2015
Kazalo: ... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...
Polni tekst
Elektronski eKnjiga
7
Izdano 2007
Kazalo: ... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...
Polni tekst
Elektronski eKnjiga
8
Izdano 2010
Kazalo: ... Salesman Problem -- Improved Inapproximability for Submodular Maximization -- Approximation Algorithms...
Polni tekst
Elektronski eKnjiga
9
Izdano 2005
Kazalo: ...Invited Talks -- The Evolution of Optimality: De Novo Programming -- Many-Objective Optimization...
Polni tekst
Elektronski eKnjiga
10
Izdano 2014
Kazalo: ... in Wireless Sensor Networks -- Performance Analysis and Improvement for the Construction of MCDS Problem in 3D...
Polni tekst
Elektronski eKnjiga
11
Izdano 2010
Kazalo: ... -- Approximating the Pareto Front of Multi-criteria Optimization Problems -- Decision Procedures -- An Alternative...
Polni tekst
Elektronski eKnjiga
12
Izdano 2010
Kazalo: ... of Optimization Problems on Power Law Graphs -- Cyclic Vertex Connectivity of Star Graphs -- The Number...
Polni tekst
Elektronski eKnjiga
13
Izdano 2005
Kazalo: ... Method for Reliable Parameter Estimation of Exponential Sums -- Global Optimization -- Convex Programming...
Polni tekst
Elektronski eKnjiga
14
Izdano 2010
Kazalo: ... Optimization -- Plane Spanners of Maximum Degree Six -- The Positive Semidefinite Grothendieck Problem...
Polni tekst
Elektronski eKnjiga
15
Izdano 2014
Kazalo: ...: Multistage Optimization for Matroids and Matchings -- Problems -- Nearly Linear-Time Model-Based Compressive...
Polni tekst
Elektronski eKnjiga
16
Izdano 2010
Kazalo: ... Theory of Time-Bounded Verification -- Physical Algorithms -- Session 1-Track B. Automata -- Optimal...
Polni tekst
Elektronski eKnjiga
17
Izdano 2008
Kazalo: ... for Relational Domains -- Full Papers -- Induction of Optimal Semantic Semi-distances for Clausal Knowledge Bases...
Polni tekst
Elektronski eKnjiga
18
Izdano 2014
Kazalo: ...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...
Polni tekst
Elektronski eKnjiga
19
Izdano 2007
Kazalo: ... to Sensor Resource Management -- Constructing Optimal Cyclic Tours for Planar Exploration and Obstacle...
Polni tekst
Elektronski eKnjiga
20
Izdano 2008
Kazalo: ...-gather Problems -- MPI Reduction Operations for Sparse Floating-point Data -- Library Internals -- A...
Polni tekst
Elektronski eKnjiga