Search Results - integrated exploring programming programming constraint https

Search alternatives:
programming programming » programming programmed , programming program
programming constraint » programming constrained , programming unconstrained , programming constructs
exploring programming » evaluating programming , planning programming
integrated exploring » integrated exploration , integrated reporting , integrated authoring
constraint https » constraint atoms , constraint graphs , constraint codes

Integration of AI and OR Techniques in Constraint Programming 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings /

Published 2015

Subjects: “...Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”
View full text

Electronic eBook

Principles and Practice of Constraint Programming - CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”
View full text

Electronic eBook

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
View full text

Electronic eBook

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday /

Published 2011

Table of Contents: “... Based on Answer Set Programming with Constraints: Preliminary Design -- Applications of Answer Set...”
View full text

Electronic eBook

Software Process Change International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21,...

Published 2006

Table of Contents: “...Keynotes -- A Value-Based Software Process Framework -- Exploring the Business Process-Software...”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...D Virtual Agents -- Unbiased Statistics of a Constraint Satisfaction Problem – a Controlled-Bias...”
View full text

Electronic eBook

Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings /

Published 2012

Table of Contents: “... Garner Algorithm for Chinese Remainder Theorem -- dMPI: Facilitating Debugging of MPI Programs via...”
View full text

Electronic eBook

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...

Published 2007

Table of Contents: “... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”
View full text

Electronic eBook

An Anthology of Theories and Models of Design Philosophy, Approaches and Empirical Explorations /

Published 2014

Table of Contents: “... of an Extended – Integrated Model of Designing -- Modelling Products and Product Development Based...”
View full text

Electronic eBook

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings /

Published 2007

Table of Contents: “...’ Path to Explore Decoherence and Entanglement Phenomena in Quantum Information Theory -- Deducing...”
View full text

Electronic eBook

Computational Intelligence and Intelligent Systems 5th International Symposium, ISICA 2010, Wuhan, China, October 2010, Proceedings /

Published 2010

Table of Contents: “... Constraint Solving -- A New DEBP Algorithm and Its Application for Hematite Content Prediction -- Multi...”
View full text

Electronic eBook

Ant Colony Optimization and Swarm Intelligence 6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008, Proceedings /

Published 2008

Table of Contents: “... Capabilities -- Integration of ACO in a Constraint Programming Language -- Learning from House-Hunting Ants...”
View full text

Electronic eBook

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “... Similarity Measures Based on Hybrid Features -- Exploring Wikipedia and Text Features for Named Entity...”
View full text

Electronic eBook

Computational Linguistics and Intelligent Text Processing 11th International Conference, CICLing 2010, Iasi, Romania, March 21-27, 2010, Proceedings /

Published 2010

Table of Contents: “... Sentences towards Building a Telugu Treebank -- EusPropBank: Integrating Semantic Information in the Basque...”
View full text

Electronic eBook

Wireless Sensor Networks Third European Workshop, EWSN 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings /

Published 2006

Table of Contents: “... Context-Aware Sensor Networks -- Sensor Network Services -- Constraint-Based Distance Estimation in Ad-Hoc...”
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

Embedded Systems Design The ARTIST Roadmap for Research and Development /

Published 2005

Table of Contents: “... Sectors -- Tools for Requirements Capture and Exploration -- Tools for Architecture Design and Capture...”
View full text

Electronic eBook

Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings /

Published 2007

Table of Contents: “... Flexible Requirements Analysis Approach for Software Product Lines -- Integrated Requirement Selection...”
View full text

Electronic eBook

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Integration to a Microsoft Robotics Studio Simulation -- A Proposed Framework for Collaborative Design in a...”
View full text

Electronic eBook

Narrow Search