Rezultaty - integration expression programming problems constraint codes

1

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

Wydane 2007

Spis treści: “... Constraint Programming Approach to the Hospitals / Residents Problem -- Best-First AND/OR Search for 0/1...”
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

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

Wydane 2010

Spis treści: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

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: “... Constraint Satisfaction Techniques -- Solving the Salinity Control Problem in a Potable Water System...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

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

6

Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers /

Wydane 2012

Spis treści: “... Constraints -- Online Bayesian Inference for the Parameters of PRISM Programs -- Learning Compact Markov Logic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Wydane 2013

Spis treści: “... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012

Wydane 2014

Spis treści: “... -- Engineering Optimization Using SOMGA -- Goal Programming Approach to Trans-shipment Problem -- An Efficient...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Theory and Applications of Satisfiability Testing - SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings /

Wydane 2010

Spis treści: “... Constraint Satisfaction Problems with SMT -- Two Techniques for Minimizing Resolution Proofs -- On Moderately...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings /

Wydane 2006

Spis treści: “... -- Approximation Algorithms for 2-Stage Stochastic Optimization Problems -- The Number of Crossing Free...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Ant Colony Optimization and Swarm Intelligence 6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008, Proceedings /

Wydane 2008

Spis treści: “... Capabilities -- Integration of ACO in a Constraint Programming Language -- Learning from House-Hunting Ants...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

In Search of Elegance in the Theory and Practice of Computation Essays dedicated to Peter Buneman /

Wydane 2013

Spis treści: “... for Integration and Analysis of Data: New Challenges -- A New Framework for Designing Schema Mappings -- User...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

Wydane 2010

Spis treści: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Wydane 2008

Spis treści: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice o...

Wydane 2006

Spis treści: “... Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings /

Wydane 2006

Spis treści: “... of State or State Transitions -- Decidability and Expressive Power of Real Time Logics -- Contributed...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Paper...

Wydane 2008

Spis treści: “... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Wydane 2010

Spis treści: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

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

Wydane 2006

Spis treści: “... Constraints -- Robust Quality-Scalable Transmission of JPEG2000 Images over Wireless Channels Using LDPC Codes...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Wydane 2014

Spis treści: “... of the Printed Models -- A Touch-Based Mathematical Expression Editor -- Establishment of KETpic Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty