Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming optimization » foraging optimization, programming application, programming applications
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
optimization program » optimization problem, optimization problems, optimization proximal
program https » programs https, program has, program help
programming optimization » foraging optimization, programming application, programming applications
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
optimization program » optimization problem, optimization problems, optimization proximal
program https » programs https, program has, program help
1
Published 2006
Table of Contents:
“... on Optimization Predicates -- Handling Incomplete and Complete Tables in Tabled Logic Programs -- An External...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“...Oral Presentations -- Training Time and Team Composition Robustness in Evolved Multi-agent Systems...”View full text
Electronic
eBook
4
Table of Contents:
“... Compositive Programming.- Part II (by Jiri Matousek): 8 Lower Bounds for the Goemans–Williamson MAXCUT...”
View full text
View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Theory of Time-Bounded Verification -- Physical Algorithms -- Session 1-Track B. Automata -- Optimal...”View full text
Electronic
eBook
6
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Optimization -- Plane Spanners of Maximum Degree Six -- The Positive Semidefinite Grothendieck Problem...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... -- XML Subtree Queries: Specification and Composition -- On the Expressive Power of XQuery Fragments -- A...”View full text
Electronic
eBook
9
Published 2011
Table of Contents:
“... Programming -- Abstract Expression Grammar Symbolic Regression -- Age-Fitness Pareto Optimization -- Scalable...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... -- Practical Conflict Resolution for the Composition of Program Transformations....”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“...Specification -- Synthesis -- Verification -- Analysis -- Optimization -- Specialization...”View full text
Electronic
eBook
13
Table of Contents:
“...Part I Overview -- Introduction -- Prerequisites -- Part II Programming -- Abstract Workflow...”
View full text
View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”View full text
Electronic
eBook
15
by Koohi, Sina Zangbari, Abdul Hamid, Nor Asilah Wati, Othman, Mohamed, Ibragimov, Gafurjan
Published 2020
“... of the scheduling and mapping procedure. If the composition of the parallel application is known a prior...”Published 2020
View full text
Article
16
Published 2008
Table of Contents:
“... the Interpretability of Fuzzy Rule Bases with Exceptions -- Ant Colony Optimization for Energy-Efficient Broadcasting...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... -- Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations -- Optimizing...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Language Semantics Through Logical Form Composition -- Contributed Papers -- Gradience, Constructions...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“...Invited Speaker -- Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization...”View full text
Electronic
eBook