Sökresultat - programming optimization program decision array http

1

Decision Procedures An Algorithmic Point of View /

av Kroening, Daniel., Kroening, Daniel., Strichman, Ofer.
Publicerad 2008

Innehållsförteckning: “...and Basic Concepts -- Decision Procedures for Propositional Logic -- Equality Logic...”
Hämta fulltext

Elektronisk E-bok

2

Handbook of Optimization in Telecommunications

Publicerad 2006

Innehållsförteckning: “...Optimization algorithms -- Interior Point Methods for Large-Scale Linear Programming -- Nonlinear...”
Hämta fulltext

Elektronisk E-bok

3

Handbook on Modelling for Discrete Optimization

Publicerad 2006

Innehållsförteckning: “... for Solving Discrete Optimization Problems -- Logic-Based Modeling -- Modelling for Feasibility - the Case...”
Hämta fulltext

Elektronisk E-bok

4

Financial Decision Making Using Computational Intelligence

Publicerad 2012

Innehållsförteckning: “.... Karathanasopoulos) -- 5. Pattern Detection and Analysis in Financial Time Series Using Suffix Arrays (K. F...”
Hämta fulltext

Elektronisk E-bok

5

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

Publicerad 2010

Innehållsförteckning: “... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”
Hämta fulltext

Elektronisk E-bok

6

Evolutionary Algorithms for Solving Multi-Objective Problems

av Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Publicerad 2007

Innehållsförteckning: “... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”
Hämta fulltext

Elektronisk E-bok

7

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

Publicerad 2014

Innehållsförteckning: “..., memcpy, and Beyond -- An Improved Unrolling-Based Decision Procedure for Algebraic Data Types -- Program...”
Hämta fulltext

Elektronisk E-bok

8

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

Publicerad 2014

Innehållsförteckning: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Hämta fulltext

Elektronisk E-bok

9

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

Publicerad 2005

Innehållsförteckning: “... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”
Hämta fulltext

Elektronisk E-bok

10

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

Publicerad 2006

Innehållsförteckning: “... and Infinite Signatures -- Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures...”
Hämta fulltext

Elektronisk E-bok

11

Stochastic Networked Control Systems Stabilization and Optimization under Information Constraints /

av Yüksel, Serdar., Yüksel, Serdar., Başar, Tamer.
Publicerad 2013

Innehållsförteckning: “... Processes -- C Markov Chains, Martingales and Ergodic Processes -- D Markov Decision Theory and Optimality...”
Hämta fulltext

Elektronisk E-bok

12

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...

Publicerad 2010

Innehållsförteckning: “... Extensions of LPF Table: The Power of Suffix Arrays -- Query Optimization through Cached Queries for Object...”
Hämta fulltext

Elektronisk E-bok

13

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

Publicerad 2007

Innehållsförteckning: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Hämta fulltext

Elektronisk E-bok

14

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

av Triantaphyllou, Evangelos., Triantaphyllou, Evangelos.
Publicerad 2010

Ämnen: “...Decision making....”
Hämta fulltext

Elektronisk E-bok

15

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

Publicerad 2013

Innehållsförteckning: “... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”
Hämta fulltext

Elektronisk E-bok

16

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...

Publicerad 2008

Innehållsförteckning: “... Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision...”
Hämta fulltext

Elektronisk E-bok

17

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...

Publicerad 2015

Innehållsförteckning: “... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...”
Hämta fulltext

Elektronisk E-bok

18

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

Publicerad 2010

Innehållsförteckning: “... Systems -- A Faster Clonal Selection Algorithm for Expensive Optimization Problems -- An Information...”
Hämta fulltext

Elektronisk E-bok

19

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

Publicerad 2005

Innehållsförteckning: “...-Based Approach to Delayed Decisions for Robust Conceptual Design -- Unified Particle Swarm Optimization...”
Hämta fulltext

Elektronisk E-bok

20

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

Publicerad 2005

Innehållsförteckning: “... Certification Authority Coordination Group -- Grid Enabled Optimization -- Towards a Coordination Model...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen