Search Results - interval computing programming programming constraint https

Search alternatives:
programming programming » programming programmed , programming program
programming constraint » programming constrained , programming unconstrained , programming constructs
computing programming » computer programming , computers programming
interval computing » intervals comparing , internet computing , interval counting
constraint https » constraint atoms , constraint graphs , constraint codes

Constraint Programming and Decision Making

Published 2014

Table of Contents: “... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”
View full text

Electronic eBook

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

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

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

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic...”
View full text

Electronic eBook

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Published 2010

Table of Contents: “... with Constraint Programming -- Characterization and Automation of Matching-Based Neighborhoods -- Rapid Learning...”
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

Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected...

Published 2005

Table of Contents: “... and Open Constraint Programming -- Pruning by Equally Constrained Variables -- Search -- Trying Again...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... Community -- Invited Tutorials -- Constraint Handling Rules -- Back to Interval Temporal Logics -- Systems...”
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 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Published 2014

Table of Contents: “...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”
View full text

Electronic eBook

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”
View full text

Electronic eBook

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

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne...

Published 2005

Table of Contents: “... Constraints -- A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials...”
View full text

Electronic eBook

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Published 2008

Table of Contents: “... and Characterisations -- On Computing Constraint Abduction Answers -- Fast Counting with Bounded Treewidth -- Session 8...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A...”
View full text

Electronic eBook

Distributed Computing and Internet Technology Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings /

Published 2005

Table of Contents: “... Distributed System-Level Diagnosis -- Analysis of Interval-Based Global State Detection -- Grid Computing -- A...”
View full text

Electronic eBook

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

Published 2012

Table of Contents: “...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...”
View full text

Electronic eBook

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”
View full text

Electronic eBook

New Approaches to Circle Packing in a Square With Program Codes /

by Szabó, Péter Gábor., Szabó, Péter Gábor., Markót, Mihaly Csaba., Csendes, Tibor., Specht, Eckard., Casado, Leocadio G., García, Inmaculada.
Published 2007

Table of Contents: “... Packings -- Interval Methods for Validating Optimal Solutions -- The First Fully Interval-based...”
View full text

Electronic eBook

Narrow Search