Zoekresultaten - integrated expression programming problems constraint https

1

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

Gepubliceerd in 2007

Inhoudsopgave: “... Constraint Programming Approach to the Hospitals / Residents Problem -- Best-First AND/OR Search for 0/1...”
Volledige tekst

Elektronisch E-boek

2

Constraint Programming and Decision Making

Gepubliceerd in 2014

Inhoudsopgave: “... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”
Volledige tekst

Elektronisch E-boek

3

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

Gepubliceerd in 2010

Inhoudsopgave: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
Volledige tekst

Elektronisch E-boek

4

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

Gepubliceerd in 2007

Inhoudsopgave: “... Constraint Satisfaction Techniques -- Solving the Salinity Control Problem in a Potable Water System...”
Volledige tekst

Elektronisch E-boek

5

Inductive Databases and Constraint-Based Data Mining

Gepubliceerd in 2010

Inhoudsopgave: “... -- Generalizing Itemset Mining in a Constraint Programming Setting -- From Local Patterns to Classification Models...”
Volledige tekst

Elektronisch E-boek

6

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

Gepubliceerd in 2012

Inhoudsopgave: “... Constraints -- Online Bayesian Inference for the Parameters of PRISM Programs -- Learning Compact Markov Logic...”
Volledige tekst

Elektronisch E-boek

7

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

Gepubliceerd in 2013

Inhoudsopgave: “... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”
Volledige tekst

Elektronisch E-boek

8

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

Gepubliceerd in 2014

Inhoudsopgave: “... -- Engineering Optimization Using SOMGA -- Goal Programming Approach to Trans-shipment Problem -- An Efficient...”
Volledige tekst

Elektronisch E-boek

9

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

Gepubliceerd in 2010

Inhoudsopgave: “... Constraint Satisfaction Problems with SMT -- Two Techniques for Minimizing Resolution Proofs -- On Moderately...”
Volledige tekst

Elektronisch E-boek

10

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

Gepubliceerd in 2006

Inhoudsopgave: “... -- Approximation Algorithms for 2-Stage Stochastic Optimization Problems -- The Number of Crossing Free...”
Volledige tekst

Elektronisch E-boek

11

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

Gepubliceerd in 2008

Inhoudsopgave: “... Capabilities -- Integration of ACO in a Constraint Programming Language -- Learning from House-Hunting Ants...”
Volledige tekst

Elektronisch E-boek

12

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

Gepubliceerd in 2013

Inhoudsopgave: “... for Integration and Analysis of Data: New Challenges -- A New Framework for Designing Schema Mappings -- User...”
Volledige tekst

Elektronisch E-boek

13

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

Gepubliceerd in 2010

Inhoudsopgave: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
Volledige tekst

Elektronisch E-boek

14

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

Gepubliceerd in 2008

Inhoudsopgave: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
Volledige tekst

Elektronisch E-boek

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...

Gepubliceerd in 2006

Inhoudsopgave: “... Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification...”
Volledige tekst

Elektronisch E-boek

16

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

Gepubliceerd in 2006

Inhoudsopgave: “... of State or State Transitions -- Decidability and Expressive Power of Real Time Logics -- Contributed...”
Volledige tekst

Elektronisch E-boek

17

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

Gepubliceerd in 2008

Inhoudsopgave: “... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”
Volledige tekst

Elektronisch E-boek

18

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

Gepubliceerd in 2010

Inhoudsopgave: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
Volledige tekst

Elektronisch E-boek

19

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

Gepubliceerd in 2014

Inhoudsopgave: “... of the Printed Models -- A Touch-Based Mathematical Expression Editor -- Establishment of KETpic Programming...”
Volledige tekst

Elektronisch E-boek

20

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

Gepubliceerd in 2006

Inhoudsopgave: “... Constraints -- Robust Quality-Scalable Transmission of JPEG2000 Images over Wireless Channels Using LDPC Codes...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken