Search Results - interactive constraint programming programming control https

1

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: “... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”
View full text

Electronic eBook

2

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...”
View full text

Electronic eBook

3

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...”
View full text

Electronic eBook

4

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

Published 2008

Table of Contents: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
View full text

Electronic eBook

5

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Published 2010

Table of Contents: “...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”
View full text

Electronic eBook

6

Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-7, 2008. Proceedings /

Published 2008

Table of Contents: “...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”
View full text

Electronic eBook

7

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “...: A Practical Solution Incorporating Constraint Programming and Heuristics -- An Interactive Tool...”
View full text

Electronic eBook

8

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday /

Published 2012

Table of Contents: “... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”
View full text

Electronic eBook

9

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Published 2010

Table of Contents: “... and Interaction Diagrams -- Applicability of the BLAST Model Checker: An Industrial Case Study -- ? K –constraints...”
View full text

Electronic eBook

10

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”
View full text

Electronic eBook

11

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Published 2010

Table of Contents: “... -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page...”
View full text

Electronic eBook

12

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

Published 2008

Table of Contents: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
View full text

Electronic eBook

13

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /

Published 2007

Table of Contents: “... Throttle Controller Using the Timed Abstract State Machine Language and Toolset -- Model Checking of UML...”
View full text

Electronic eBook

14

Informatics in Control, Automation and Robotics I

Published 2006

Table of Contents: “... DISCRETE-TIME OPTIMAL CONTROL WITH TERMINAL CONSTRAINTS -- A DISTURBANCE COMPENSATION CONTROL FOR AN ACTIVE...”
View full text

Electronic eBook

15

Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings /

Published 2010

Table of Contents: “... Reasoning -- Rule-Based Event Processing and Reaction Rules -- Ensuring Compliance with Semantic Constraints...”
View full text

Electronic eBook

16

High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008 /

Published 2008

Table of Contents: “... for Developing Interaction Models of Access Control Systems -- Reuse Approaches and Frameworks -- Balancing...”
View full text

Electronic eBook

17

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

18

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /

Published 2014

Table of Contents: “... -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public...”
View full text

Electronic eBook

19

Advances in Information and Computer Security 5th International Worshop on Security, IWSEC 2010, Kobe, Japan, November 22-24, 2010, Proceedings /

Published 2010

Table of Contents: “...Invited Talks -- Automating Security Configuration and Administration: An Access Control...”
View full text

Electronic eBook

20

Advances in Artificial Intelligence - IBERAMIA 2008 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings /

Published 2008

Table of Contents: “... and Scheduling Modeling Tool: The Workflow Patterns Approach -- Constraint Satisfaction and Optimization -- A...”
View full text

Electronic eBook

Narrow Search