Risultati della ricerca - integration expression programming problems constraint https

1

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

Pubblicazione 2007

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

Elettronico eBook

2

Constraint Programming and Decision Making

Pubblicazione 2014

Sommario: “... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”
Testo

Elettronico eBook

3

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

Pubblicazione 2010

Sommario: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
Testo

Elettronico eBook

4

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

Pubblicazione 2007

Sommario: “... Constraint Satisfaction Techniques -- Solving the Salinity Control Problem in a Potable Water System...”
Testo

Elettronico eBook

5

Inductive Databases and Constraint-Based Data Mining

Pubblicazione 2010

Sommario: “... -- Generalizing Itemset Mining in a Constraint Programming Setting -- From Local Patterns to Classification Models...”
Testo

Elettronico eBook

6

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

Pubblicazione 2012

Sommario: “... Constraints -- Online Bayesian Inference for the Parameters of PRISM Programs -- Learning Compact Markov Logic...”
Testo

Elettronico eBook

7

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

Pubblicazione 2013

Sommario: “... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”
Testo

Elettronico eBook

8

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

Pubblicazione 2014

Sommario: “... -- Engineering Optimization Using SOMGA -- Goal Programming Approach to Trans-shipment Problem -- An Efficient...”
Testo

Elettronico eBook

9

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

Pubblicazione 2010

Sommario: “... Constraint Satisfaction Problems with SMT -- Two Techniques for Minimizing Resolution Proofs -- On Moderately...”
Testo

Elettronico eBook

10

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

Pubblicazione 2006

Sommario: “... -- Approximation Algorithms for 2-Stage Stochastic Optimization Problems -- The Number of Crossing Free...”
Testo

Elettronico eBook

11

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

Pubblicazione 2008

Sommario: “... Capabilities -- Integration of ACO in a Constraint Programming Language -- Learning from House-Hunting Ants...”
Testo

Elettronico eBook

12

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

Pubblicazione 2013

Sommario: “... for Integration and Analysis of Data: New Challenges -- A New Framework for Designing Schema Mappings -- User...”
Testo

Elettronico eBook

13

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

Pubblicazione 2010

Sommario: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
Testo

Elettronico eBook

14

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

Pubblicazione 2008

Sommario: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
Testo

Elettronico eBook

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

Pubblicazione 2006

Sommario: “... Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification...”
Testo

Elettronico eBook

16

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

Pubblicazione 2006

Sommario: “... of State or State Transitions -- Decidability and Expressive Power of Real Time Logics -- Contributed...”
Testo

Elettronico eBook

17

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

Pubblicazione 2008

Sommario: “... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”
Testo

Elettronico eBook

18

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

Pubblicazione 2010

Sommario: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
Testo

Elettronico eBook

19

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

Pubblicazione 2006

Sommario: “... Constraints -- Robust Quality-Scalable Transmission of JPEG2000 Images over Wireless Channels Using LDPC Codes...”
Testo

Elettronico eBook

20

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

Pubblicazione 2014

Sommario: “... of the Printed Models -- A Touch-Based Mathematical Expression Editor -- Establishment of KETpic Programming...”
Testo

Elettronico eBook

Restringi la ricerca