Author: Fedor V. Fomin
Publisher: Springer Nature
ISBN: 303042071X
Category : Computers
Languages : en
Pages : 350
Book Description
This Festschrift was published in honor of Hans L. Bodlaender on the occasion of his 60th birthday. The 14 full and 5 short contributions included in this volume show the many transformative discoveries made by H.L. Bodlaender in the areas of graph algorithms, parameterized complexity, kernelization and combinatorial games. The papers are written by his former Ph.D. students and colleagues as well as by his former Ph.D. advisor, Jan van Leeuwen. Chapter “Crossing Paths with Hans Bodlaender: A Personal View on Cross-Composition for Sparsification Lower Bounds” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Treewidth, Kernels, and Algorithms
Author: Fedor V. Fomin
Publisher: Springer Nature
ISBN: 303042071X
Category : Computers
Languages : en
Pages : 350
Book Description
This Festschrift was published in honor of Hans L. Bodlaender on the occasion of his 60th birthday. The 14 full and 5 short contributions included in this volume show the many transformative discoveries made by H.L. Bodlaender in the areas of graph algorithms, parameterized complexity, kernelization and combinatorial games. The papers are written by his former Ph.D. students and colleagues as well as by his former Ph.D. advisor, Jan van Leeuwen. Chapter “Crossing Paths with Hans Bodlaender: A Personal View on Cross-Composition for Sparsification Lower Bounds” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Publisher: Springer Nature
ISBN: 303042071X
Category : Computers
Languages : en
Pages : 350
Book Description
This Festschrift was published in honor of Hans L. Bodlaender on the occasion of his 60th birthday. The 14 full and 5 short contributions included in this volume show the many transformative discoveries made by H.L. Bodlaender in the areas of graph algorithms, parameterized complexity, kernelization and combinatorial games. The papers are written by his former Ph.D. students and colleagues as well as by his former Ph.D. advisor, Jan van Leeuwen. Chapter “Crossing Paths with Hans Bodlaender: A Personal View on Cross-Composition for Sparsification Lower Bounds” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Principles and Practice of Constraint Programming
Author: Gilles Pesant
Publisher: Springer
ISBN: 3319232193
Category : Mathematics
Languages : en
Pages : 765
Book Description
This book constitutes the refereed conference proceedings of the 21st International Conference on Principles and Practice of Constraint Programming, CP 2015, held in Cork, Ireland, in August/September 2015. This edition of the conference was part of George Boole 200, a celebration of the life and work of George Boole who was born in 1815 and worked at the University College of Cork. It was also co-located with the 31st International Conference on Logic Programming (ICLP 2015). The 48 revised papers presented together with 3 invited talks and 16 abstract papers were carefully selected from numerous submissions. The scope of CP 2014 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, schedulling, configuration, and planning.
Publisher: Springer
ISBN: 3319232193
Category : Mathematics
Languages : en
Pages : 765
Book Description
This book constitutes the refereed conference proceedings of the 21st International Conference on Principles and Practice of Constraint Programming, CP 2015, held in Cork, Ireland, in August/September 2015. This edition of the conference was part of George Boole 200, a celebration of the life and work of George Boole who was born in 1815 and worked at the University College of Cork. It was also co-located with the 31st International Conference on Logic Programming (ICLP 2015). The 48 revised papers presented together with 3 invited talks and 16 abstract papers were carefully selected from numerous submissions. The scope of CP 2014 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, schedulling, configuration, and planning.
Model-Driven Organizational and Business Agility
Author: Eduard Babkin
Publisher: Springer Nature
ISBN: 3031177282
Category : Computers
Languages : en
Pages : 149
Book Description
This book constitutes the proceedings of the Second International Workshop on Model-Driven Organizational and Business Agility, MOBA 2022, which took place in Leuven, Belgium, in June 2022. MOBA was launched with the purpose of fetching scientific rigor into the agile practice within an entire enterprise, especially focusing on the role of models and modeling. The 10 papers presented in this volume were carefully reviewed and selected from 22 submissions. They cover topics like business intelligence, agile business rules, agile software development, adaptive domain-specific interfaces, or reconfigurable software architectures.
Publisher: Springer Nature
ISBN: 3031177282
Category : Computers
Languages : en
Pages : 149
Book Description
This book constitutes the proceedings of the Second International Workshop on Model-Driven Organizational and Business Agility, MOBA 2022, which took place in Leuven, Belgium, in June 2022. MOBA was launched with the purpose of fetching scientific rigor into the agile practice within an entire enterprise, especially focusing on the role of models and modeling. The 10 papers presented in this volume were carefully reviewed and selected from 22 submissions. They cover topics like business intelligence, agile business rules, agile software development, adaptive domain-specific interfaces, or reconfigurable software architectures.
Agents and Artificial Intelligence
Author: Jaap van den Herik
Publisher: Springer Nature
ISBN: 3030374947
Category : Computers
Languages : en
Pages : 380
Book Description
This book contains the revised and extended versions of selected papers from the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019, held in Prague, Czech Republic, in February 2019. Overall, 46 full papers, 66 short papers, and 36 poster papers were carefully reviewed and selected from 202 initial submissions. 17 of the 46 full papers were selected to be included in this volume. These papers deal with topics such as natural language processing, artificial intelligence, and agents.
Publisher: Springer Nature
ISBN: 3030374947
Category : Computers
Languages : en
Pages : 380
Book Description
This book contains the revised and extended versions of selected papers from the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019, held in Prague, Czech Republic, in February 2019. Overall, 46 full papers, 66 short papers, and 36 poster papers were carefully reviewed and selected from 202 initial submissions. 17 of the 46 full papers were selected to be included in this volume. These papers deal with topics such as natural language processing, artificial intelligence, and agents.
Recent Advances in Nonlinear Analysis and Optimization with Applications
Author: Savin Treanţă
Publisher: Cambridge Scholars Publishing
ISBN: 1527560384
Category : Mathematics
Languages : en
Pages : 147
Book Description
This book focuses on recent advances in nonlinear analysis and optimization with important applications drawn from various fields, such as artificial intelligence, genetic algorithms, optimization problems under uncertainty, and fuzzy logic. Specifically, it is devoted to nonlinear problems associated with optimization which have some connection with applications. The ideas and techniques developed here will serve to stimulate further research in this dynamic field, and, in this way, the book will become a valuable reference for researchers, engineers and students in the field of mathematics, management science, operations research, optimal control science and economics.
Publisher: Cambridge Scholars Publishing
ISBN: 1527560384
Category : Mathematics
Languages : en
Pages : 147
Book Description
This book focuses on recent advances in nonlinear analysis and optimization with important applications drawn from various fields, such as artificial intelligence, genetic algorithms, optimization problems under uncertainty, and fuzzy logic. Specifically, it is devoted to nonlinear problems associated with optimization which have some connection with applications. The ideas and techniques developed here will serve to stimulate further research in this dynamic field, and, in this way, the book will become a valuable reference for researchers, engineers and students in the field of mathematics, management science, operations research, optimal control science and economics.
Logic Programming and Nonmonotonic Reasoning
Author: Francesco Calimeri
Publisher: Springer
ISBN: 3319232649
Category : Computers
Languages : en
Pages : 587
Book Description
This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. The 290long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set Programming competition, and four papers presented by LPNMR student attendees at the doctoral consortium were carefully reviewed and selected from 60 submissions. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation. The aim of the LPNMR conferences is to facilitate interactions between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning.
Publisher: Springer
ISBN: 3319232649
Category : Computers
Languages : en
Pages : 587
Book Description
This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. The 290long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set Programming competition, and four papers presented by LPNMR student attendees at the doctoral consortium were carefully reviewed and selected from 60 submissions. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation. The aim of the LPNMR conferences is to facilitate interactions between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning.
Inductive Logic Programming
Author: Fabrizio Riguzzi
Publisher: Springer
ISBN: 3319999605
Category : Computers
Languages : en
Pages : 183
Book Description
This book constitutes the refereed conference proceedings of the 28th International Conference on Inductive Logic Programming, ILP 2018, held in Ferrara, Italy, in September 2018. The 10 full papers presented were carefully reviewed and selected from numerous submissions. Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform representation language for expressing examples, background knowledge and hypotheses. Due to its strong representation formalism, based on first-order logic, ILP provides an excellent means for multi-relational learning and data mining, and more generally for learning from structured data.
Publisher: Springer
ISBN: 3319999605
Category : Computers
Languages : en
Pages : 183
Book Description
This book constitutes the refereed conference proceedings of the 28th International Conference on Inductive Logic Programming, ILP 2018, held in Ferrara, Italy, in September 2018. The 10 full papers presented were carefully reviewed and selected from numerous submissions. Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform representation language for expressing examples, background knowledge and hypotheses. Due to its strong representation formalism, based on first-order logic, ILP provides an excellent means for multi-relational learning and data mining, and more generally for learning from structured data.
PRIMA 2016: Principles and Practice of Multi-Agent Systems
Author: Matteo Baldoni
Publisher: Springer
ISBN: 3319448323
Category : Computers
Languages : en
Pages : 428
Book Description
This book constitutes the refereed proceedings of the 19th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2016, held in Phuket, Thailand, in August 22-26, 2016. The 16 revised full papers presented together with two invited papers, 9 short papers and three extended abstracts were carefully reviewed and selected from 50 submissions. The intention of the papers is to showcase research in several domains, ranging from foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research.
Publisher: Springer
ISBN: 3319448323
Category : Computers
Languages : en
Pages : 428
Book Description
This book constitutes the refereed proceedings of the 19th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2016, held in Phuket, Thailand, in August 22-26, 2016. The 16 revised full papers presented together with two invited papers, 9 short papers and three extended abstracts were carefully reviewed and selected from 50 submissions. The intention of the papers is to showcase research in several domains, ranging from foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research.
Scalable Uncertainty Management
Author: Steven Schockaert
Publisher: Springer
ISBN: 3319458566
Category : Computers
Languages : en
Pages : 368
Book Description
This book constitutes the refereed proceedings of the 10th International Conference on Scalable Uncertainty Management, SUM 2016, held in Nice, France, in September 2016. The 18 regular papers and 5 short papers were carefully reviewed and selected from 35 submissions. Papers are solicited in all areas of managing and reasoning with substantial and complex kinds of uncertain, incomplete or inconsistent information. These include (but are not restricted to) applications in decision support systems, risk analysis, machine learning, belief networks, logics of uncertainty, belief revision and update, argumentation, negotiation technologies, semantic web applications, search engines, ontology systems, information fusion, information retrieval, natural language processing, information extraction, image recognition, vision systems, data and text mining, and the consideration of issues such as provenance, trust, heterogeneity, and complexity of data and knowledge.
Publisher: Springer
ISBN: 3319458566
Category : Computers
Languages : en
Pages : 368
Book Description
This book constitutes the refereed proceedings of the 10th International Conference on Scalable Uncertainty Management, SUM 2016, held in Nice, France, in September 2016. The 18 regular papers and 5 short papers were carefully reviewed and selected from 35 submissions. Papers are solicited in all areas of managing and reasoning with substantial and complex kinds of uncertain, incomplete or inconsistent information. These include (but are not restricted to) applications in decision support systems, risk analysis, machine learning, belief networks, logics of uncertainty, belief revision and update, argumentation, negotiation technologies, semantic web applications, search engines, ontology systems, information fusion, information retrieval, natural language processing, information extraction, image recognition, vision systems, data and text mining, and the consideration of issues such as provenance, trust, heterogeneity, and complexity of data and knowledge.
Advances in Intelligent, Interactive Systems and Applications
Author: Fatos Xhafa
Publisher: Springer
ISBN: 3030028046
Category : Technology & Engineering
Languages : en
Pages : 1180
Book Description
This book presents the proceedings of the International Conference on Intelligent, Interactive Systems and Applications (IISA2018), held in Hong Kong, China on June 29–30, 2018. It consists of contributions from diverse areas of intelligent interactive systems (IIS), such as: autonomous systems; pattern recognition and vision systems; e-enabled systems; mobile computing and intelligent networking; Internet & cloud computing; intelligent systems and applications. The book covers the latest ideas and innovations from both the industrial and academic worlds, and shares the best practices in the fields of computer science, communication engineering and latest applications of IOT and its use in industry. It also discusses key research outputs, providing readers with a wealth of new ideas and food for thought.
Publisher: Springer
ISBN: 3030028046
Category : Technology & Engineering
Languages : en
Pages : 1180
Book Description
This book presents the proceedings of the International Conference on Intelligent, Interactive Systems and Applications (IISA2018), held in Hong Kong, China on June 29–30, 2018. It consists of contributions from diverse areas of intelligent interactive systems (IIS), such as: autonomous systems; pattern recognition and vision systems; e-enabled systems; mobile computing and intelligent networking; Internet & cloud computing; intelligent systems and applications. The book covers the latest ideas and innovations from both the industrial and academic worlds, and shares the best practices in the fields of computer science, communication engineering and latest applications of IOT and its use in industry. It also discusses key research outputs, providing readers with a wealth of new ideas and food for thought.