1
Veröffentlicht 2008
Inhaltsangabe: ... Selection Architecture for Genetic Programming -- A Comparison of Cartesian Genetic Programming and Linear...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2008
Inhaltsangabe: ... Satisfiability Modulo Theories for Non-linear Arithmetic -- A Hybrid Constraint Programming / Local Search...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2005
Inhaltsangabe: ... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...
Volltext
Elektronisch E-Book
4
Inhaltsangabe: ... programming -- Linear programming with set coefficients -- Fuzzy linear optimization -- Interval linear...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2010
Inhaltsangabe: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2008
Inhaltsangabe: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2014
Inhaltsangabe: ...: Multistage Optimization for Matroids and Matchings -- Problems -- Nearly Linear-Time Model-Based Compressive...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2006
Inhaltsangabe: ... Bipartite Matching in Matrix Multiplication Time -- Algorithms I -- Optimal Resilient Sorting and Searching...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2010
Inhaltsangabe: ... Optimization -- Plane Spanners of Maximum Degree Six -- The Positive Semidefinite Grothendieck Problem...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2010
Inhaltsangabe: ... Theory of Time-Bounded Verification -- Physical Algorithms -- Session 1-Track B. Automata -- Optimal...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2007
Inhaltsangabe: ... Multiparty Communication Complexity -- Session A5 -- An Optimal Decomposition Algorithm for Tree Edit...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2008
Inhaltsangabe: ... -- Optimizing Compilation of CHR with Rule Priorities -- Constructive Arithmetic -- Certified Exact Real...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2014
Inhaltsangabe: ...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2007
Inhaltsangabe: ... Integer Linear Programming Formulation -- Extended Linear Scan: An Alternate Foundation for Global...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2013
Inhaltsangabe: ..., and Logic -- Concrete Results on Abstract Rules -- Linear Logic Programming for Narrative -- Implementing...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2013
Inhaltsangabe: ... Proving -- Structural Counter Abstraction -- Extending Quantifier Elimination to Linear Inequalities...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2015
Inhaltsangabe: ... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2007
Inhaltsangabe: ... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2005
Inhaltsangabe: ... Method for Reliable Parameter Estimation of Exponential Sums -- Global Optimization -- Convex Programming...
Volltext
Elektronisch E-Book
20
Inhaltsangabe: ...Linear and Quadratic Programming -- General Optimization With Simple -- Advanced Issues in Mean...
Volltext
Elektronisch E-Book