Rezultaty - interactive constraint programming programmed control https

1

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

Wydane 2014

Spis treści: “... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

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

Wydane 2006

Spis treści: “... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

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

Wydane 2005

Spis treści: “... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

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

Wydane 2008

Spis treści: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

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

Wydane 2010

Spis treści: “...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

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

Wydane 2008

Spis treści: “...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

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

Wydane 2005

Spis treści: “...: A Practical Solution Incorporating Constraint Programming and Heuristics -- An Interactive Tool...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

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

Wydane 2012

Spis treści: “... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

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

Wydane 2010

Spis treści: “... and Interaction Diagrams -- Applicability of the BLAST Model Checker: An Industrial Case Study -- ? K –constraints...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

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

Wydane 2005

Spis treści: “... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

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

Wydane 2010

Spis treści: “... -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Informatics in Control, Automation and Robotics I

Wydane 2006

Spis treści: “... DISCRETE-TIME OPTIMAL CONTROL WITH TERMINAL CONSTRAINTS -- A DISTURBANCE COMPENSATION CONTROL FOR AN ACTIVE...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

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

Wydane 2008

Spis treści: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

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

Wydane 2007

Spis treści: “... Throttle Controller Using the Timed Abstract State Machine Language and Toolset -- Model Checking of UML...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

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

Wydane 2014

Spis treści: “... -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

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

Wydane 2010

Spis treści: “... Reasoning -- Rule-Based Event Processing and Reaction Rules -- Ensuring Compliance with Semantic Constraints...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

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

Wydane 2008

Spis treści: “... for Developing Interaction Models of Access Control Systems -- Reuse Approaches and Frameworks -- Balancing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Innovations in Computing Sciences and Software Engineering

Wydane 2010

Spis treści: “...D Virtual Agents -- Unbiased Statistics of a Constraint Satisfaction Problem – a Controlled-Bias...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

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

Wydane 2010

Spis treści: “...Invited Talks -- Automating Security Configuration and Administration: An Access Control...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

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

Wydane 2008

Spis treści: “... and Scheduling Modeling Tool: The Workflow Patterns Approach -- Constraint Satisfaction and Optimization -- A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty