Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
intelligent optimization » intelligent automation
integer optimization » linear optimization, springer optimization, integer factorization
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
programs program » programming program
intelligent optimization » intelligent automation
integer optimization » linear optimization, springer optimization, integer factorization
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
programs program » programming program
1
Опубликовано 2005
Оглавление:
“... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2008
Оглавление:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2005
Оглавление:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Полный текст
Электронный ресурс
eКнига
4
Оглавление:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Полный текст
Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2015
Оглавление:
“... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2008
Оглавление:
“... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2008
Оглавление:
“... -- Optimizing Compilation of CHR with Rule Priorities -- Constructive Arithmetic -- Certified Exact Real...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2010
Оглавление:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2006
Оглавление:
“... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2013
Оглавление:
“... Logic Programming -- Opening Doors: An Initial SRL Approach -- Probing the Space of Optimal Markov Logic...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2010
Оглавление:
“... Optimization -- Plane Spanners of Maximum Degree Six -- The Positive Semidefinite Grothendieck Problem...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2008
Оглавление:
“... for Relational Domains -- Full Papers -- Induction of Optimal Semantic Semi-distances for Clausal Knowledge Bases...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2007
Оглавление:
“... Integer Linear Programming Formulation -- Extended Linear Scan: An Alternate Foundation for Global...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2005
Оглавление:
“... Languages with Modest Programming Effort -- Compilation of Generic Regular Path Expressions Using C++ Class...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2008
Оглавление:
“... -- Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2006
Оглавление:
“...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2013
Оглавление:
“... Programming -- Belief Change in Nonmonotonic Multi-Context Systems -- On optimal solutions of answer set...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2008
Оглавление:
“... Integer Programs with Choices -- Upper Bounds on the Noise Threshold for Fault-Tolerant Quantum Computing...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2013
Оглавление:
“..., Optimization, Synthesis and Performance Evaluation of Real-Time Systems -- Unifying Theories of Programming...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2007
Оглавление:
“... -- Constructing Consensus Logic Programs -- Partial Evaluation and Program Transformation -- Supervising Offline...”Полный текст
Электронный ресурс
eКнига