Search Results - programming optimization program decision array https

Search alternatives:
programming optimization » foraging optimization , programming application , programming applications
optimization program » optimization problem , optimization problems , optimization proximal
program decision » programme decision , program division , programs division
decision array » decision areas , emission array , decision diagram
https » http

Decision Procedures An Algorithmic Point of View /

by Kroening, Daniel., Kroening, Daniel., Strichman, Ofer.
Published 2008

Table of Contents: “...and Basic Concepts -- Decision Procedures for Propositional Logic -- Equality Logic...”
View full text

Electronic eBook

Handbook of Optimization in Telecommunications

Published 2006

Table of Contents: “...Optimization algorithms -- Interior Point Methods for Large-Scale Linear Programming -- Nonlinear...”
View full text

Electronic eBook

Handbook on Modelling for Discrete Optimization

Published 2006

Table of Contents: “... for Solving Discrete Optimization Problems -- Logic-Based Modeling -- Modelling for Feasibility - the Case...”
View full text

Electronic eBook

Financial Decision Making Using Computational Intelligence

Published 2012

Table of Contents: “.... Karathanasopoulos) -- 5. Pattern Detection and Analysis in Financial Time Series Using Suffix Arrays (K. F...”
View full text

Electronic eBook

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /

Published 2010

Table of Contents: “... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”
View full text

Electronic eBook

Evolutionary Algorithms for Solving Multi-Objective Problems

by Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Published 2007

Table of Contents: “... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”
View full text

Electronic eBook

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /

Published 2014

Table of Contents: “..., memcpy, and Beyond -- An Improved Unrolling-Based Decision Procedure for Algebraic Data Types -- Program...”
View full text

Electronic eBook

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Published 2014

Table of Contents: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
View full text

Electronic eBook

Languages and Compilers for High Performance Computing 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”
View full text

Electronic eBook

Logics in Artificial Intelligence 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /

Published 2006

Table of Contents: “... and Infinite Signatures -- Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures...”
View full text

Electronic eBook

Stochastic Networked Control Systems Stabilization and Optimization under Information Constraints /

by Yüksel, Serdar., Yüksel, Serdar., Başar, Tamer.
Published 2013

Table of Contents: “... Processes -- C Markov Chains, Martingales and Ergodic Processes -- D Markov Decision Theory and Optimality...”
View full text

Electronic eBook

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Published 2010

Table of Contents: “... Extensions of LPF Table: The Power of Suffix Arrays -- Query Optimization through Cached Queries for Object...”
View full text

Electronic eBook

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
View full text

Electronic eBook

Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications /

by Triantaphyllou, Evangelos., Triantaphyllou, Evangelos.
Published 2010

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings /

Published 2013

Table of Contents: “... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”
View full text

Electronic eBook

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of S...

Published 2008

Table of Contents: “... Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Published 2015

Table of Contents: “... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...”
View full text

Electronic eBook

Artificial Immune Systems 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010, Proceedings /

Published 2010

Table of Contents: “... Systems -- A Faster Clonal Selection Algorithm for Expensive Optimization Problems -- An Information...”
View full text

Electronic eBook

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Published 2005

Table of Contents: “...-Based Approach to Delayed Decisions for Robust Conceptual Design -- Unified Particle Swarm Optimization...”
View full text

Electronic eBook

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Published 2005

Table of Contents: “... Certification Authority Coordination Group -- Grid Enabled Optimization -- Towards a Coordination Model...”
View full text

Electronic eBook

Narrow Search