Zoekresultaten - interactive computer program problems constraint https

1

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

Gepubliceerd in 2014

Inhoudsopgave: “... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”
Volledige tekst

Elektronisch E-boek

2

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

Gepubliceerd in 2013

Inhoudsopgave: “... of Computational Problems, with Applications to Constraint Satisfaction -- Solving QBF with Free Variables...”
Volledige tekst

Elektronisch E-boek

3

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

Gepubliceerd in 2006

Inhoudsopgave: “... Constraint Programming and Local Search Solve the Scheduling Problem of Electricité de France Nuclear Power...”
Volledige tekst

Elektronisch E-boek

4

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

Gepubliceerd in 2015

Inhoudsopgave: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
Volledige tekst

Elektronisch E-boek

5

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Gepubliceerd in 2014

Inhoudsopgave: “... and Their Applications -- On the Complexity of Trial and Error for Constraint Satisfaction Problems -- Information...”
Volledige tekst

Elektronisch E-boek

6

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... Order Constraint Problem -- A Constraint Logic Programming Approach to Automated Testing -- Turing...”
Volledige tekst

Elektronisch E-boek

7

Applications of Computational Intelligence in Biology Current Trends and Open Problems /

Gepubliceerd in 2008

Inhoudsopgave: “... for Ecological Inventory & Monitoring Programs -- Visualization and Interactive Exploration of Large...”
Volledige tekst

Elektronisch E-boek

8

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

Gepubliceerd in 2008

Inhoudsopgave: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Volledige tekst

Elektronisch E-boek

9

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

Gepubliceerd in 2005

Inhoudsopgave: “... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...”
Volledige tekst

Elektronisch E-boek

10

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... for Constraint Satisfaction Problems -- On the Power of k-Consistency -- Complexity of Propositional Proofs Under...”
Volledige tekst

Elektronisch E-boek

11

Computer Vision, Imaging and Computer Graphics: Theory and Applications International Joint...

Gepubliceerd in 2010

Inhoudsopgave: “...Invited Papers -- Human Habitat Data in 3D for the Internet -- I: Computer Graphics Theory...”
Volledige tekst

Elektronisch E-boek

12

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

Gepubliceerd in 2015

Inhoudsopgave: “... Satisfaction Problems with Answer Set Programming -- _Add Another Blue Stack of the Same Height!_: Plan Failure...”
Volledige tekst

Elektronisch E-boek

13

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

Gepubliceerd in 2013

Inhoudsopgave: “... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”
Volledige tekst

Elektronisch E-boek

14

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...”
Volledige tekst

Elektronisch E-boek

15

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

Gepubliceerd in 2005

Inhoudsopgave: “... Constraint Programming -- The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event...”
Volledige tekst

Elektronisch E-boek

16

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... for the Alternating-Time ?-Calculus -- Space-Efficient Computation by Interaction -- The Ackermann Award 2006....”
Volledige tekst

Elektronisch E-boek

17

Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings /

Gepubliceerd in 2013

Inhoudsopgave: “... in Hematopoeitic Cells -- Membrane Computing with Genetic Algorithm for the Travelling Salesman Problem -- Solving...”
Volledige tekst

Elektronisch E-boek

18

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Gepubliceerd in 2012

Inhoudsopgave: “... Orthotropic Elliptic Problems.-A Computational Approach for the Earthquake Response of Cable-Braced Reinforced...”
Volledige tekst

Elektronisch E-boek

19

Advances in Visual Computing Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part I /

Gepubliceerd in 2006

Inhoudsopgave: “... Surface Reconstruction -- Finite Sample Bias of Robust Scale Estimators in Computer Vision Problems...”
Volledige tekst

Elektronisch E-boek

20

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken