Søgeresultater - interactive computing programming problem constraints https

1

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

Udgivet 2014

Indholdsfortegnelse: “... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”
Få fuldtekst

Electronisk eBog

2

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

Udgivet 2013

Indholdsfortegnelse: “... of Computational Problems, with Applications to Constraint Satisfaction -- Solving QBF with Free Variables...”
Få fuldtekst

Electronisk eBog

3

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

Udgivet 2006

Indholdsfortegnelse: “... Constraint Programming and Local Search Solve the Scheduling Problem of Electricité de France Nuclear Power...”
Få fuldtekst

Electronisk eBog

4

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

Udgivet 2015

Indholdsfortegnelse: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
Få fuldtekst

Electronisk eBog

5

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

Udgivet 2014

Indholdsfortegnelse: “... and Their Applications -- On the Complexity of Trial and Error for Constraint Satisfaction Problems -- Information...”
Få fuldtekst

Electronisk eBog

6

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

Udgivet 2010

Indholdsfortegnelse: “...Invited Papers -- Human Habitat Data in 3D for the Internet -- I: Computer Graphics Theory...”
Få fuldtekst

Electronisk eBog

7

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

Udgivet 2008

Indholdsfortegnelse: “... Order Constraint Problem -- A Constraint Logic Programming Approach to Automated Testing -- Turing...”
Få fuldtekst

Electronisk eBog

8

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

Udgivet 2008

Indholdsfortegnelse: “... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...”
Få fuldtekst

Electronisk eBog

9

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

Udgivet 2008

Indholdsfortegnelse: “... for Ecological Inventory & Monitoring Programs -- Visualization and Interactive Exploration of Large...”
Få fuldtekst

Electronisk eBog

10

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

Udgivet 2008

Indholdsfortegnelse: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Få fuldtekst

Electronisk eBog

11

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

Udgivet 2007

Indholdsfortegnelse: “... for Constraint Satisfaction Problems -- On the Power of k-Consistency -- Complexity of Propositional Proofs Under...”
Få fuldtekst

Electronisk eBog

12

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

Udgivet 2005

Indholdsfortegnelse: “... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...”
Få fuldtekst

Electronisk eBog

13

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

Udgivet 2012

Indholdsfortegnelse: “... Orthotropic Elliptic Problems.-A Computational Approach for the Earthquake Response of Cable-Braced Reinforced...”
Få fuldtekst

Electronisk eBog

14

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

Udgivet 2008

Indholdsfortegnelse: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Få fuldtekst

Electronisk eBog

15

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

Udgivet 2006

Indholdsfortegnelse: “... Surface Reconstruction -- Finite Sample Bias of Robust Scale Estimators in Computer Vision Problems...”
Få fuldtekst

Electronisk eBog

16

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /

Udgivet 2008

Indholdsfortegnelse: “... Constraints for Multidimensional Knapsack Problems Using Evolution Strategies -- A Critical Assessment of Some...”
Få fuldtekst

Electronisk eBog

17

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

Udgivet 2006

Indholdsfortegnelse: “... for the Alternating-Time ?-Calculus -- Space-Efficient Computation by Interaction -- The Ackermann Award 2006....”
Få fuldtekst

Electronisk eBog

18

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Udgivet 2005

Indholdsfortegnelse: “... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...”
Få fuldtekst

Electronisk eBog

19

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

Udgivet 2005

Indholdsfortegnelse: “... Constraint Programming -- The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event...”
Få fuldtekst

Electronisk eBog

20

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

Udgivet 2013

Indholdsfortegnelse: “... in Hematopoeitic Cells -- Membrane Computing with Genetic Algorithm for the Travelling Salesman Problem -- Solving...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning