Search Results - integrated using programming program constrained https

Search alternatives:
programming program » programming programmed , programming problem , programming problems
program constrained » programs constraints , problem constrained , programming constrained
using programming » using programmable , computing programming
constrained https » constrained hpc , constrained graphs , constrained stress
integrated using » integrated housing , integrated ring , integrated wing

Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings /

Published 2014

Table of Contents: “... -- Constrained Clustering Using Column Generation -- A Constraint Programming-Based Column Generation Approach...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... for Constrained Optimum Paths Problems -- Stochastic Constraint Programming by Neuroevolution with Filtering...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...”
View full text

Electronic eBook

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Published 2013

Table of Contents: “... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”
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: “... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...”
View full text

Electronic eBook

New Modeling Concepts for Today's Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings /

Published 2010

Table of Contents: “... Adaptive IT Service Support Processes Using Meta-modeling Technologies -- Modeling a Resource-Constrained...”
View full text

Electronic eBook

Elementary Mechanics Using Matlab A Modern Course Combining Analytical and Numerical Techniques /

by Malthe-Sørenssen, Anders., Malthe-Sørenssen, Anders.
Published 2015

Table of Contents: “... Introduction -- Getting started with programming -- Units and measurement -- Motion in one...”
View full text

Electronic eBook

Elementary Mechanics Using Python A Modern Course Combining Analytical and Numerical Techniques /

by Malthe-Sørenssen, Anders., Malthe-Sørenssen, Anders.
Published 2015

Table of Contents: “...Introduction -- Getting started with programming -- Units and measurement -- Motion in one...”
View full text

Electronic eBook

Optimization of Integrated Supply Chain Planning under Multiple Uncertainty

by Shao, Juping., Shao, Juping., Sun, Yanan., Noche, Bernd.
Published 2015

Subjects: “...Supply Chain Management. https://scigraph.springernature.com/ontologies/product-market-codes/519030...”
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...

Published 2007

Table of Contents: “... Organizations -- Integrating Trust in Virtual Organisations -- Coordinating Tasks in Agent Organizations...”
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: “... Defects in Software Using Grammar-Guided Genetic Programming -- A Clustering Framework to Build Focused...”
View full text

Electronic eBook

Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2...

Published 2010

Table of Contents: “... Algorithms: From Java to C -- Integrate Online Model Checking into Distributed Reconfigurable System on Chip...”
View full text

Electronic eBook

Grid Resource Management On-demand Provisioning, Advance Reservation, and Capacity Planning of Grid Resources /

by Siddiqui, Mumtaz., Siddiqui, Mumtaz., Fahringer, Thomas.
Published 2010

Table of Contents: “... Reservation and Service-Level Agreement -- Optimizing Multi-Constrained Allocations with Capacity Planning...”
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: “..., Time, and Agents -- Benefits of Constrained Interactivity in Using a Three-Dimensional Diagram -- A...”
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

Verification Methodology Manual for SystemVerilog

by Bergeron, Janick., Bergeron, Janick., Cerny, Eduard., Hunter, Alan., Nightingale, Andy.
Published 2006

Table of Contents: “... Integration Verification....”
View full text

Electronic eBook

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Published 2010

Table of Contents: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
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

Distributed Computing and Internet Technology Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings /

Published 2005

Table of Contents: “...-Based Relational Data Integration -- An Effective Searching Method Using the Example-Based Query...”
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: “... Characterization of Three-Dimensional Histograms from Color Images -- Accelerating Integral Histograms Using...”
View full text

Electronic eBook

Narrow Search