Önerilen Konular
Önerilen Konular
Şunu mu demek istediniz:
optimization programs » optimization program, optimization problems, optimization problem
program constructs » program construction, program constructing, programming constructs
programs program » programming program
constructs https » construction https, constructs loops, constructs arti
optimization programs » optimization program, optimization problems, optimization problem
program constructs » program construction, program constructing, programming constructs
programs program » programming program
constructs https » construction https, constructs loops, constructs arti
1
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...”Tam Metin Erişim
Elektronik
Ekitap
2
İçindekiler:
“... and non-recursive programs -- Graph algorithms -- Pattern matching -- Games analysis -- Optimal coding...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
3
İçindekiler:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
4
Baskı/Yayın Bilgisi 2015
İçindekiler:
“... -- Staged Points-to Analysis for Large Code Bases -- Exact and Approximated Data-Reuse Optimizations...”Tam Metin Erişim
Elektronik
Ekitap
5
Baskı/Yayın Bilgisi 2015
İçindekiler:
“... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”Tam Metin Erişim
Elektronik
Ekitap
6
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”Tam Metin Erişim
Elektronik
Ekitap
7
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”Tam Metin Erişim
Elektronik
Ekitap
8
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...”Tam Metin Erişim
Elektronik
Ekitap
9
Baskı/Yayın Bilgisi 2010
İçindekiler:
“...Invited Talk -- Programming Clouds -- Optimization Techniques -- Mining Opportunities for Code...”Tam Metin Erişim
Elektronik
Ekitap
10
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”Tam Metin Erişim
Elektronik
Ekitap
11
Baskı/Yayın Bilgisi 2013
İçindekiler:
“... Logic Programming -- Opening Doors: An Initial SRL Approach -- Probing the Space of Optimal Markov Logic...”Tam Metin Erişim
Elektronik
Ekitap
12
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...”Tam Metin Erişim
Elektronik
Ekitap
13
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”Tam Metin Erişim
Elektronik
Ekitap
14
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... for Relational Domains -- Full Papers -- Induction of Optimal Semantic Semi-distances for Clausal Knowledge Bases...”Tam Metin Erişim
Elektronik
Ekitap
15
Baskı/Yayın Bilgisi 2014
İçindekiler:
“... Parity -- Consequences of Faster Alignment of Sequences -- Distance Labels with Optimal Local Stretch...”Tam Metin Erişim
Elektronik
Ekitap
16
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... Bipartite Matching in Matrix Multiplication Time -- Algorithms I -- Optimal Resilient Sorting and Searching...”Tam Metin Erişim
Elektronik
Ekitap
17
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Optimization -- Plane Spanners of Maximum Degree Six -- The Positive Semidefinite Grothendieck Problem...”Tam Metin Erişim
Elektronik
Ekitap
18
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Theory of Time-Bounded Verification -- Physical Algorithms -- Session 1-Track B. Automata -- Optimal...”Tam Metin Erişim
Elektronik
Ekitap
19
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... -- Optimizing Compilation of CHR with Rule Priorities -- Constructive Arithmetic -- Certified Exact Real...”Tam Metin Erişim
Elektronik
Ekitap
20
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... Multiparty Communication Complexity -- Session A5 -- An Optimal Decomposition Algorithm for Tree Edit...”Tam Metin Erişim
Elektronik
Ekitap