Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
internal optimization » interval optimization, material optimization, integer optimization
optimization program » optimization problem, optimization problems, optimization proximal
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
program program » programs program, programming program
internal optimization » interval optimization, material optimization, integer optimization
optimization program » optimization problem, optimization problems, optimization proximal
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
program program » programs program, programming program
1
Publicat 2008
Taula de continguts:
“... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...”Obtenir text complet
Electrònic
eBook
2
Publicat 2015
Taula de continguts:
“... -- Staged Points-to Analysis for Large Code Bases -- Exact and Approximated Data-Reuse Optimizations...”Obtenir text complet
Electrònic
eBook
3
Publicat 2008
Taula de continguts:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”Obtenir text complet
Electrònic
eBook
4
Publicat 2005
Taula de continguts:
“... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...”Obtenir text complet
Electrònic
eBook
5
Publicat 2007
Taula de continguts:
“... Multiparty Communication Complexity -- Session A5 -- An Optimal Decomposition Algorithm for Tree Edit...”Obtenir text complet
Electrònic
eBook
6
Publicat 2008
Taula de continguts:
“... -- Optimizing Compilation of CHR with Rule Priorities -- Constructive Arithmetic -- Certified Exact Real...”Obtenir text complet
Electrònic
eBook
7
Publicat 2013
Taula de continguts:
“... Logic Programming -- Opening Doors: An Initial SRL Approach -- Probing the Space of Optimal Markov Logic...”Obtenir text complet
Electrònic
eBook
8
Publicat 2008
Taula de continguts:
“... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”Obtenir text complet
Electrònic
eBook
9
Publicat 2014
Taula de continguts:
“... Parity -- Consequences of Faster Alignment of Sequences -- Distance Labels with Optimal Local Stretch...”Obtenir text complet
Electrònic
eBook
10
Publicat 2010
Taula de continguts:
“... Optimization -- Plane Spanners of Maximum Degree Six -- The Positive Semidefinite Grothendieck Problem...”Obtenir text complet
Electrònic
eBook
11
Publicat 2006
Taula de continguts:
“... Bipartite Matching in Matrix Multiplication Time -- Algorithms I -- Optimal Resilient Sorting and Searching...”Obtenir text complet
Electrònic
eBook
12
Publicat 2010
Taula de continguts:
“... Theory of Time-Bounded Verification -- Physical Algorithms -- Session 1-Track B. Automata -- Optimal...”Obtenir text complet
Electrònic
eBook
13
Publicat 2008
Taula de continguts:
“... for Relational Domains -- Full Papers -- Induction of Optimal Semantic Semi-distances for Clausal Knowledge Bases...”Obtenir text complet
Electrònic
eBook
14
Publicat 2010
Taula de continguts:
“...Invited Talk -- Programming Clouds -- Optimization Techniques -- Mining Opportunities for Code...”Obtenir text complet
Electrònic
eBook
15
Publicat 2006
Taula de continguts:
“... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...”Obtenir text complet
Electrònic
eBook
16
Taula de continguts:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
17
Publicat 2015
Taula de continguts:
“... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”Obtenir text complet
Electrònic
eBook
18
Publicat 2008
Taula de continguts:
“... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”Obtenir text complet
Electrònic
eBook
19
Publicat 2013
Taula de continguts:
“...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”Obtenir text complet
Electrònic
eBook
20
Publicat 2014
Taula de continguts:
“...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”Obtenir text complet
Electrònic
eBook