Search Results - services exploring programming program constraints https

Search alternatives:
exploring programming » evaluating programming , planning programming
programming program » programming programmed , programming problem , programming problems
program constraints » programs constraints , progress constraints , problem constraints
services exploring » sciences exploring , services exports , spaces exploring
constraints https » constraints haptic , constraints data , constraints chap

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

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

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

Constraints Meet Concurrency

by Mauro, Jacopo., Mauro, Jacopo.
Published 2014

Table of Contents: “...Introduction -- Constraints -- Concurrency -- Constraint Handling Rules -- Non Turing powerful...”
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

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Published 2015

Table of Contents: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
View full text

Electronic eBook

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Published 2008

Table of Contents: “... Approach for Sparse Graph Problems -- How to Explore a Fast-Changing World (Cover Time of a Simple Random...”
View full text

Electronic eBook

The Yuanpei Program in Peking University A Case Study of Curriculum Innovation /

by Wang, Wanying., Wang, Wanying.
Published 2014

Table of Contents: “... program: Background and contextual factors -- Chapter 6 Findings—Major conflicts, its process and sources...”
View full text

Electronic eBook

Genetic Programming Theory and Practice XI

Published 2014

Table of Contents: “...Extreme Accuracy in Symbolic Regression -- Exploring Interestingness in a Computational Evolution...”
View full text

Electronic eBook

Genetic Programming Theory and Practice X

Published 2013

Table of Contents: “...Evolving SQL Queries from Examples with Developmental Genetic Programming -- A Practical Platform...”
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

Service-Oriented Computing 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings /

Published 2010

Table of Contents: “... Soft Constraint-Based Approach to QoS-Aware Service Selection -- Timed Conversational Protocol Based...”
View full text

Electronic eBook

Service-Oriented Computing 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012, Proceedings /

Published 2012

Table of Contents: “... Tickets in Shared Delivery -- Cloud Programming Hybrid Services in the Cloud -- QoS- Aware Cloud Service...”
View full text

Electronic eBook

Stochastic Networked Control Systems Stabilization and Optimization under Information Constraints /

by Yüksel, Serdar., Yüksel, Serdar., Başar, Tamer.
Published 2013

Table of Contents: “...: Design of Optimal Policies under Information Constraints -- Optimization of Real-Time Coding and Control...”
View full text

Electronic eBook

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Published 2014

Table of Contents: “... -- Embedding Foreign Code -- Exploring the Use of GPUs in Constraint Solving -- On the Correctness...”
View full text

Electronic eBook

Service-Oriented Computing - ICSOC 2008 6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Exploration of Discovered Process Views in Process Spaceship -- ROME4EU: A Web Service-Based Process-Aware...”
View full text

Electronic eBook

Mobile Computing, Applications, and Services First International ICST Conference, MobiCASE 2009...

Published 2010

Table of Contents: “... Mobile Search Service -- Mobile Visual Analytics for Datacenter Power and Cooling Management -- MobiCASE...”
View full text

Electronic eBook

Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings /

Published 2012

Table of Contents: “...Invited Talks -- Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems...”
View full text

Electronic eBook

CONCUR 2006 - Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 /

Published 2006

Table of Contents: “... and Fast Algorithms -- Minimization, Learning, and Conformance Testing of Boolean Programs -- A Capability...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Designs -- Checking Memory Safety with Blast -- Web Services -- Analyzing Web Service Based Business...”
View full text

Electronic eBook

Narrow Search