Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
intelligent optimization » intelligent automation
optimization program » optimization problem, optimization problems, optimization proximal
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
program program » programs program, programming program
intelligent optimization » intelligent automation
optimization program » optimization problem, optimization problems, optimization proximal
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
program program » programs program, programming program
1
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
2
Table of Contents:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text
View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... (Extended Abstract) -- Constraint Optimization and Abstraction for Embedded Intelligent Systems -- A...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... -- Optimizing Compilation of CHR with Rule Priorities -- Constructive Arithmetic -- Certified Exact Real...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... Logic Programming -- Opening Doors: An Initial SRL Approach -- Probing the Space of Optimal Markov Logic...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... Optimization -- Plane Spanners of Maximum Degree Six -- The Positive Semidefinite Grothendieck Problem...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... for Relational Domains -- Full Papers -- Induction of Optimal Semantic Semi-distances for Clausal Knowledge Bases...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... -- Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... Languages with Modest Programming Effort -- Compilation of Generic Regular Path Expressions Using C++ Class...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... Programming -- Belief Change in Nonmonotonic Multi-Context Systems -- On optimal solutions of answer set...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“..., Optimization, Synthesis and Performance Evaluation of Real-Time Systems -- Unifying Theories of Programming...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... -- Constructing Consensus Logic Programs -- Partial Evaluation and Program Transformation -- Supervising Offline...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Algorithms for Finite Automata -- Probabilistic Systems and Optimization -- Assume-Guarantee Verification...”View full text
Electronic
eBook