Sökresultat - integration configuration programming program constraints https

Menade du:
integration configuration » interaction reconfiguration , installation configuration , integration considerations
configuration programming » configurations programmable , configuration processing , integration programming
programming program » programming programmed , programming problem , programming problems
program constraints » programs constraints , progress constraints , problem constraints
constraints https » constraints haptic , constraints data , constraints chap

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

Publicerad 2010

Innehållsförteckning: “... with Constraint Programming -- Characterization and Automation of Matching-Based Neighborhoods -- Rapid Learning...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...”
Hämta fulltext

Elektronisk E-bok

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... Symmetry -- Ensemble Classification for Constraint Solver Configuration -- On Testing Constraint Programs...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2013

Innehållsförteckning: “... -- Bandit-Based Search for Constraint Programming.-Focused Random Walk with Configuration Checking and Break...”
Hämta fulltext

Elektronisk E-bok

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Publicerad 2013

Innehållsförteckning: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
Hämta fulltext

Elektronisk E-bok

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /

Publicerad 2015

Innehållsförteckning: “... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...”
Hämta fulltext

Elektronisk E-bok

Applications of Declarative Programming and Knowledge Management 15th International Conference...

Publicerad 2005

Innehållsförteckning: “... Resources Constraint -- Integrating Time Constraints into Constraint-Based Configuration Models...”
Hämta fulltext

Elektronisk E-bok

Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “...: Extending Business Process Configuration to Roles and Objects -- Value-Driven Coordination Process Design...”
Hämta fulltext

Elektronisk E-bok

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Publicerad 2008

Innehållsförteckning: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
Hämta fulltext

Elektronisk E-bok

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings /

Publicerad 2013

Innehållsförteckning: “...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...”
Hämta fulltext

Elektronisk E-bok

Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings /

Publicerad 2015

Innehållsförteckning: “... Have to be Categorical -- A Model-based Approach for the Integration of Configuration Fragments...”
Hämta fulltext

Elektronisk E-bok

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
Hämta fulltext

Elektronisk E-bok

On the Move to Meaningful Internet Systems, OTM 2010 Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Greece, October 25-29, 2010, Proceedings, Part...

Publicerad 2010

Innehållsförteckning: “... Availability Constraints -- Achieving Recovery in Service Composition with Assurance Points and Integration...”
Hämta fulltext

Elektronisk E-bok

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... Configurations on Finite Point Sets in the Plane -- Contributed Papers – Track A -- Normal and Feature...”
Hämta fulltext

Elektronisk E-bok

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

Publicerad 2012

Innehållsförteckning: “... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...”
Hämta fulltext

Elektronisk E-bok

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings /

Publicerad 2014

Innehållsförteckning: “...-Specific Constraints -- Scalable Armies of Model Clones through Data Sharing -- Feature and Variability...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... Evolution Strategy to Light Configuration Optimization of Photometric Stereo -- Solving Multi Objective...”
Hämta fulltext

Elektronisk E-bok

On the Move to Meaningful Internet Systems: OTM 2014 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent...

Publicerad 2014

Innehållsförteckning: “... in Business Process Management -- Towards a Compliance-Aware Inter-organizational Service Integration Platform...”
Hämta fulltext

Elektronisk E-bok

Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... System for a Nuclear Power Plant -- Regulatory Software Configuration Management System Design -- Gaining...”
Hämta fulltext

Elektronisk E-bok

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... Systems -- RAMSS Analysis for a Co-operative Integrated Traffic Management System -- Combining Static...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen