Rezultaty - integration design programming programming constraints 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

Constraint Programming and Decision Making

Wydane 2014

Spis treści: “... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /

Wydane 2011

Hasła przedmiotowe: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

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

Wydane 2010

Spis treści: “... and Maximal Time-Lags: A Simple Constraint Programming Approach -- On the Design of the Next Generation Access...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

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

Wydane 2008

Spis treści: “... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

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

Wydane 2005

Spis treści: “... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Principles and Practice of Constraint Programming - CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings /

Wydane 2007

Spis treści: “... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Wydane 2007

Spis treści: “... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Wydane 2006

Spis treści: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings /

Wydane 2007

Spis treści: “... -- Session 11 -- An Integer Programming Approach for Linear Programs with Probabilistic Constraints...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

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

Wydane 2013

Spis treści: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

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

Wydane 2015

Spis treści: “....-The Design of the Sixth Answer Set Programming Competition -- Doctoral Consortium Extended Abstract: Planning...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Declarative Programming for Knowledge Management 16th International Conference on Applications...

Wydane 2006

Spis treści: “...: OpenOffice Spreadsheet Front-End for Constraint Programming -- Overload Checking for the Cumulative...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Integer Programming and Combinatorial Optimization 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings /

Wydane 2005

Spis treści: “... -- Disjoint Cycles: Integrality Gap, Hardness, and Approximation -- A Combinatorial Algorithm to Find a...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

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

16

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday /

Wydane 2011

Spis treści: “... Based on Answer Set Programming with Constraints: Preliminary Design -- Applications of Answer Set...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Advances in Integrated Design and Manufacturing in Mechanical Engineering II

Wydane 2007

Spis treści: “...Plenary Talks -- Supporting Participative Joint Decisions in Integrated Design and Manufacturing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Embedded Systems Design The ARTIST Roadmap for Research and Development /

Wydane 2005

Spis treści: “... -- Tools for Programming, Code Generation, and Design -- Tools for Verification and Validation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Inductive Databases and Constraint-Based Data Mining

Wydane 2010

Spis treści: “... -- Generalizing Itemset Mining in a Constraint Programming Setting -- From Local Patterns to Classification Models...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...

Wydane 2007

Spis treści: “... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty