Search Results - "constraint programming"

A class of algorithms for distributed constraint optimization by Petcu, Adrian

Subjects: “…Constraint programming (Computer science)…”
Full text (MFA users only)

Handbook of constraint programming /

Table of Contents: “…Finite Domain Constraint Programming Systems (Christian Schulte, Mats Carlsson) -- Chapter 15. …”
Full text (MFA users only)

Ant Colony Optimization and Constraint Programming. by Solnon, Christine

Table of Contents: “…Constraint programming with ant colony optimization; Chapter 2. …”
Full text (MFA users only)

Reliable robot localization : a constraint-programming approach over dynamical systems / by Rohou, Simon, Jaulin, Luc, 1967-, Mihaylova, Lyudmila, Le Bars, Fabrice, 1985-, Veres, Sándor M., 1956-

Full text (MFA users only)

Kinematics, Dynamics, and Design of Machinery. by Waldron, Kenneth J.

Table of Contents: “…1.17 Motion Limits for Slider-Crank Mechanisms -- 1.18 Interference -- 1.19 Practical Design Considerations -- References -- Problems -- Chapter 2: Techniques in Geometric Constraint Programming -- 2.1 Introduction -- 2.2 Geometric Constraint Programming -- 2.3 Constraints and Program Structure -- 2.4 Initial Setup for a GCP Session -- 2.5 Drawing a Basic Linkage Using GCP -- 2.6 Troubleshooting Graphical Programs Developed Using GCP -- References -- Problems -- Appendix 2A Drawing Slider Lines, Pin Bushings, and Ground Pivots…”
Full text (MFA users only)

Handbook of Knowledge Representation. by Van Harmelen, Frank

Table of Contents: “…Description Logics; Chapter 4. Constraint Programming; Chapter 5. Conceptual Graphs; Chapter 6. …”
Full text (MFA users only)

Industrial engineering non-traditional applications in international settings

Table of Contents: “…Automotive stamping operations scheduling using mathematical programming and constraint programming / Burcucaglar Gencosman, H. Cenkozmut Lu, Huse Yinozkan, and Mehmet A. …”
Full text (MFA users only)

Handbook on semidefinite, conic and polynomial optimization

Table of Contents: “…Lasserre and Mihai Putinar -- Self-regular interior-point methods for semidefinite optimization / Maziar Salahi and Tamás Terlaky -- Elementary optimality conditions for nonlinear SDPs / Florian Jarre -- Recent progress in interior-point methods: cutting-plane algorithms and warm starts / Alexander Engau -- Exploiting sparsity in SDP relaxation of polynomial optimization problems / Sunyoung Kim and Masakazu Kojima -- Block coordinate descent methods for semidefinite programming / Zaiwen Wen, Donald Goldfarb, and Katya Scheinberg -- Projection methods in conic optimization / Didier Henrion and Jérôme Malick -- SDP relaxations for non-commutative polynomial optimization / Miguel Navascués, Stefano Pironio, and Antonio Acín -- Semidefinite programming and constraint programming / Willem-Jan van Hoeve -- The state-of-the-art in conic optimization software / Hans D. …”
Full text (MFA users only)

Foundations of constraint satisfaction by Tsang, Edward

Table of Contents: “…; 1.2 Formal Definition of the CSP; 1.3 Constraint Representation and Binary CSPs; 1.4 Graph-related Concepts; 1.5 Examples and Applications of CSPs; 1.6 Constraint Programming; 1.7 Structure Of Subsequent Chapters; 1.8 Bibliographical Remarks; Chapter 2. …”
Full text (MFA users only)

Stochastic global optimization : techniques and applications in chemical engineering

Table of Contents: “…Jayaraman [and others] -- ch. 18. Constraint programming and genetic algorithm / Prakash R. …”
Full text (MFA users only)

Algorithmics of matching under preferences by Manlove, David F.

Table of Contents: “…Linear programming approaches. 2.5. Constraint programming approaches. 2.6. Paths to stability. 2.7. …”
Full text (MFA users only)

Model Building in Mathematical Programming. by Williams, H. Paul

Table of Contents: “…Intro -- Title Page -- Copyright -- Dedication -- Preface -- Preface to the Fifth Edition -- Part I -- Chapter 1: Introduction -- 1.1 The concept of a model -- 1.2 Mathematical programming models -- Chapter 2: Solving mathematical programming models -- 2.1 Algorithms and packages -- 2.2 Practical considerations -- 2.3 Decision support and expert systems -- 2.4 Constraint programming (CP) -- Chapter 3: Building linear programming models -- 3.1 The importance of linearity -- 3.2 Defining objectives -- 3.3 Defining constraints -- 3.4 How to build a good model…”
Full text (MFA users only)

Information modelling and knowledge bases XXX

Table of Contents: “…Automatic Feature Extraction and Classification Model for Detecting Thai Clickbait Headlines Using Convolutional Neural NetworkA Multi-Parameterized Water Quality Prediction Method with Differential Computing Among Sampling Sites; Evaluation of Patterns for Mobile User Interface Enhancement; Type Checking Algorithm for the TIL-Script Language; Natural Deduction System in the TIL-Script Language; Giving a Frame to the Concept Space; Constraint Programming Based on Matrix-Like Representation of Qualitative Constraints…”
Full text (MFA users only)

Metamodeling-Driven IP Reuse for SoC Integration and Microprocessor Design. by Mathaikutty, Deepak A.

Table of Contents: “…2.6 TEST GENERATION2.6.1 Constraint Programming; 2.6.2 Esterel Studio; 2.7 COVERAGE-DIRECTED TEST GENERATION; 2.7.1 Structural Coverage; 2.7.2 Functional Coverage; 2.7.3 Property Specification Language (PSL); 2.7.4 Fault Classification; References; Chapter 3 Related Work; 3.1 COMPONENT COMPOSITION FRAMEWORK; 3.1.1 The BALBOA Framework; 3.1.2 Liberty Simulation Environment (LSE); 3.1.3 EWD; 3.1.4 Ptolemy II; 3.1.5 Metropolis; 3.2 COMPONENT-BASED SOFTWARE DESIGN ENVIRONMENTS; 3.3 IP INTERFACING STANDARDS; 3.3.1 SPIRIT; 3.4 EXISTING TOOLS FOR STRUCTURAL REFLECTION.…”
Full text (MFA users only)