Search Results - integrated revision programming programming constrained https

Search alternatives:
programming programming » programming programmed , programming program
programming constrained » programming constructs
revision programming » television programming , edition programming , session programming
integrated revision » integrated decision , integrated vision , iterated revision
constrained https » constrained hpc , constrained graphs , constrained stress

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Published 2007

Table of Contents: “... with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems...”
View full text

Electronic eBook

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Published 2013

Table of Contents: “...Invited Talks -- Optimization for Policy Making: The Cornerstone for an Integrated Approach...”
View full text

Electronic eBook

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “... Organizations -- Integrating Trust in Virtual Organisations -- Coordinating Tasks in Agent Organizations...”
View full text

Electronic eBook

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers /

Published 2008

Table of Contents: “... Security Properties for Highly Constrained Devices Such as RFID Tags -- Differential Fault Analysis...”
View full text

Electronic eBook

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /

Published 2013

Table of Contents: “... Semantics for EB3 for Verification of Temporal Properties -- Interval Soundness of Resource-Constrained...”
View full text

Electronic eBook

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Published 2008

Table of Contents: “... Study of SAT-Based Branching Heuristics for the CSP -- Autonomy in Virtual Agents: Integrating...”
View full text

Electronic eBook

High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers /

Published 2005

Table of Contents: “...1: Large Scale Computations -- Large Scale Simulations -- Development and Integration of Parallel...”
View full text

Electronic eBook

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Published 2007

Table of Contents: “... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...”
View full text

Electronic eBook

Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...”
View full text

Electronic eBook

Ad Hoc Networks First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers /

Published 2010

Table of Contents: “... for Energy-Constrained Wireless Sensor Networks -- Optimization of Cluster Heads for Energy Efficiency...”
View full text

Electronic eBook

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Published 2005

Table of Contents: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
View full text

Electronic eBook

Hybrid Metaheuristics 5th International Workshop, HM 2008, Malaga, Spain, October 8-9, 2008. Proceedings /

Published 2008

Table of Contents: “... Inventory Control -- A Variable Neighborhood Search Integrated in the POPMUSIC Framework for Solving Large...”
View full text

Electronic eBook

Image and Signal Processing 3rd International Conference, ICISP 2008, Cherbourg-Octeville, France, July 1-3, 2008, Proceedings /

Published 2008

Table of Contents: “...Image Filtering -- Discrete Pulse Transform of Images -- Constrained Unsharp Masking for Image...”
View full text

Electronic eBook

Pervasive Computing and the Networked World Joint International Conference, ICPCA-SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers /

Published 2013

Table of Contents: “... Traveling Problem Constrained by Connectivity -- Cost-Effective and Distributed Mobility Management Scheme...”
View full text

Electronic eBook

Business Process Management Workshops BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, September 5, 2005. Revised Selected Papers /

Published 2006

Table of Contents: “... in Services Grids -- A Constrained Object Model for Configuration Based Workflow Composition -- A High-Level...”
View full text

Electronic eBook

Mobile Wireless Middleware, Operating Systems, and Applications Third International Conference, Mobilware 2010, Chicago, IL, USA, June 30 - July 2, 2010, Revised Selected Papers /

Published 2010

Table of Contents: “... Sharing in Multi-path Spontaneous Networks: Comparing and Integrating Network- and Application-Layer...”
View full text

Electronic eBook

Model Predictive Control

by Camacho, Eduardo F., Camacho, Eduardo F., Bordons Alba, Carlos.
Published 2007

Table of Contents: “... Constraints and MPC -- 7.2 Constraints and Optimization -- 7.3 Revision of Main Quadratic Programming...”
View full text

Electronic eBook

Discovery Science 8th International Conference, DS 2005, Singapore, October 8-11, 2005, Proceedings /

Published 2005

Table of Contents: “...: An Integrated ILP System -- Detecting and Revising Misclassifications Using ILP -- Project Reports -- Self...”
View full text

Electronic eBook

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /

by Spear, Chris., Spear, Chris.
Published 2008

Table of Contents: “... Constrained-Random Stimulus -- 1.7 What Should You Randomize? -- 1.8 Functional Coverage -- 1.9 Testbench...”
View full text

Electronic eBook

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2013 /

Published 2014

Table of Contents: “... Model -- 17 Integrating Dynamic Composition Estimation With Model Based Control For Ethyl Acetate...”
View full text

Electronic eBook

Narrow Search