You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 5th IAPR International Workshop on Graph-Based Representations in Pattern Recognition, GbRPR 2005, held in Poitiers, France in April 2005. The 18 revised full papers and 17 revised poster papers presented were carefully reviewed and selected from 50 submissions. The papers are organized in topical sections on graph representations, graphs and linear representations, combinatorial maps, matching, hierarchical graph abstraction and matching, inexact
This book constitutes the refereed proceedings of the 8th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2008, held in Naples, Italy, in March 2008. The 24 revised full papers presented were carefully reviewed and selected from 69 submissions. The papers present the latest research and discuss current developments and applications in metaheuristics - a paradigm to effectively solve difficult combinatorial optimization problems appearing in various industrial, economical, and scientific domains. Prominent examples of metaheuristics are evolutionary algorithms, simulated annealing, tabu search, scatter search, memetic algorithms, variable neighborhood search, iterated local search, greedy randomized adaptive search procedures, estimation of distribution algorithms and ant colony optimization.
This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Learning and Intelligent Optimization, LION 2009 III, held in Trento, Italy, in January 2009. The 15 revised full papers, one extended abstract and two poster sessions were carefully reviewed and selected from 86 submissions for inclusion in the book. The papers cover current issues of stochastic local search methods and meta-heuristics, hybridizations of constraint and mathematical programming with meta-heuristics, supervised, unsupervised and reinforcement learning applied to heuristic search, reactive search (online self-tuning methods), algorithm portfolios and off-line tuni...
Swarm intelligence is an innovative computational way to solve hard problems. This discipline is inspired by the behaviour of social insect (e.g. ants, termites, bees and wasps) colonies as well as fish schools and bird flocks. The content of this book is divided into two main parts: ant colony optimisation and particle swarm optimisation. The former describes systems that have been engineered using ant colony optimisation and the latter presents systems that were designed based on particle swarm optimisation.
This book constitutes the refereed conference proceedings of the 15th International Conference on Intelligent Data Analysis, which was held in October 2016 in Stockholm, Sweden. The 36 revised full papers presented were carefully reviewed and selected from 75 submissions. The traditional focus of the IDA symposium series is on end-to-end intelligent support for data analysis. The symposium aims to provide a forum for inspiring research contributions that might be considered preliminary in other leading conferences and journals, but that have a potentially dramatic impact.
This book constitutes the proceedings of the 19th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2022, which was held in Los Angeles, CA, USA, in June 2022.The 28 regular papers presented were carefully reviewed and selected from a total of 60 submissions. The conference program included a Master Class on the topic "Bridging the Gap between Machine Learning and Optimization”.
This book constitutes the refereed proceedings of the 9th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern Recognition, GbRPR 2013, held in Vienna, Austria, in May 2013. The 24 papers presented in this volume were carefully reviewed and selected from 27 submissions. They are organized in topical sections named: finding subregions in graphs; graph matching; classification; graph kernels; properties of graphs; topology; graph representations, segmentation and shape; and search in graphs.
This book constitutes the refereed conference proceedings of the 23nd International Conference on Principles and Practice of Constraint Programming, CP 2017, held in Melbourne, Australia from August 28, 2017 until September 1, 2017. The conference is colocated with the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT 2017) and the 33rd International Conference on Logic Programming. The 46 revised full papers presented were carefully reviewed and selected from 115 submissions. The scope of the contributions includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource al location, scheduling, configuration, and planning. The papers are grouped into the following tracks: technical track; application track; machine learning & CP track; operations research & CP track; satisfiability & CP track, test and verification & CP track; journal & sister conference track.
This book constitutes the refereed conference proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming, CP 2016, held in Toulouse, France, in September 2016. The 63 revised regular papers presented together with 4 short papers and the abstracts of 4 invited talks were carefully reviewed and selected from 157 submissions. The scope of CP 2016 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, scheduling, configuration, and planning. The papers are grouped into the following tracks: technical track; application track; computational sustainability track; CP and biology track; music track; preference, social choice, and optimization track; testing and verification track; and journal-first and sister conferences track.