Understanding Planning Tasks

Understanding Planning Tasks
Author: Malte Helmert
Publisher: Springer Science & Business Media
Total Pages: 275
Release: 2008-01-24
Genre: Computers
ISBN: 3540777229

This monograph is a revised version of Malte Helmert's doctoral thesis, Solving Planning Tasks in Theory and Practice, written under the supervision of Professor Bernhard Nebel at Albert-Ludwigs-Universität Freiburg, Germany, in 2006. The book contains an exhaustive analysis of the computational complexity of the benchmark problems that have been used in the past decade. Not only that, but it also provides an in-depth analysis of so-called routing and transportation problems.

STAIRS 2012

STAIRS 2012
Author: Kristian Kersting
Publisher: IOS Press
Total Pages: 376
Release: 2012
Genre: Computers
ISBN: 1614990956

The field of Artificial Intelligence is one in which novel ideas and new and original perspectives are of more than usual importance. The Starting AI Researchers' Symposium (STAIRS) is an international meeting which supports AI researchers from all countries at the beginning of their career, PhD students and those who have held a PhD for less than one year. It offers doctoral students and young post-doctoral AI fellows a unique and valuable opportunity to gain experience in presenting their work in a supportive scientific environment, where they can obtain constructive feedback on the technical content of their work, as well as advice on how to present it, and where they can also establish contacts with the broader European AI research community.This book presents revised versions of peer-reviewed papers presented at the Sixth STAIRS, which took place in Montpellier, France, in conjunction with the 20th European Conference on Artificial Intelligence (ECAI) and the Seventh Conference on Prestigious Applications of Intelligent Systems (PAIS) in August 2012.The topics covered in the book range over a broad spectrum of subjects in the field of AI: machine learning and data mining, constraint satisfaction problems and belief propagation, logic and reasoning, dialogue and multiagent systems, and games and planning. Offering a fascinating opportunity to glimpse the current work of the AI researchers of the future, this book will be of interest to anyone whose work involves the use of artificial intelligence and intelligent systems.

Runtime Verification

Runtime Verification
Author: Jyotirmoy Deshmukh
Publisher: Springer Nature
Total Pages: 546
Release: 2020-10-07
Genre: Computers
ISBN: 3030605086

This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic. The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial papers, 6 tool papers, and a benchmark paper. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. The papers are organized in the following topical sections: runtime verification for autonomy; runtime verification for software; runtime verification with temporal logic specifications; stream-based monitoring; and runtime verification for cyber-physical systems.

Enterprise Interoperability

Enterprise Interoperability
Author: Marten van Sinderen
Publisher: Springer
Total Pages: 223
Release: 2012-09-02
Genre: Business & Economics
ISBN: 3642330681

This book constitutes the proceedings of the Fourth International IFIP Working Conference on Enterprise Interoperability (IWEI 2012) , held in Harbin, China, September 6-7, 2012. The theme for IWEI 2012 was “Collaboration, Interoperability and Services for Networked Enterprises”, so submissions and discussions focused on these three areas critical for enterprise interoperability. The 10 full papers, 3 short papers, and 4 invited papers presented in this volume were carefully selected from 21 submissions, following a thorough reviewing process, during which each paper was scrutinized by at least three experts in the field. The papers cover a wide spectrum of enterprise interoperability issues, ranging from foundational theories, frameworks, architectures, methods and guidelines to applications, and case studies. In addition, this volume also includes the two invited keynotes. The 10 full papers, 3 short papers, and 4 invited papers presented in this volume were carefully selected from 21 submissions, following a thorough reviewing process, during which each paper was scrutinized by at least three experts in the field. The papers cover a wide spectrum of enterprise interoperability issues, ranging from foundational theories, frameworks, architectures, methods and guidelines to applications, and case studies. In addition, this volume also includes the two invited keynotes.

Quantitative Evaluation of Systems

Quantitative Evaluation of Systems
Author: Alessandro Abate
Publisher: Springer Nature
Total Pages: 469
Release: 2021-08-19
Genre: Computers
ISBN: 3030851729

This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021. The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models.

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Author: Pierre Schaus
Publisher: Springer Nature
Total Pages: 459
Release: 2022-06-09
Genre: Computers
ISBN: 3031080114

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

Robotics Research

Robotics Research
Author: Tamim Asfour
Publisher: Springer Nature
Total Pages: 1023
Release: 2022-02-17
Genre: Technology & Engineering
ISBN: 3030954595

This book contains the papers that were presented at the 17th International Symposium of Robotics Research (ISRR). The ISRR promotes the development and dissemination of groundbreaking research and technological innovation in robotics useful to society by providing a lively, intimate, forward-looking forum for discussion and debate about the current status and future trends of robotics with great emphasis on its potential role to benefit humankind. The symposium contributions contained in this book report on a variety of new robotics research results covering a broad spectrum organized into the categories: design, control; grasping and manipulation, planning, robot vision, and robot learning.

AIxIA 2022 – Advances in Artificial Intelligence

AIxIA 2022 – Advances in Artificial Intelligence
Author: Agostino Dovier
Publisher: Springer Nature
Total Pages: 504
Release: 2023-03-10
Genre: Computers
ISBN: 3031271815

​This book constitutes the refereed proceedings of the XXIst International Conference of the Italian Association for Artificial Intelligence on AIxIA 2022 – Advances in Artificial Intelligence, which was held in Udine, Italy, during November 28–December 2, 2022. The 33 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 54 submissions. They were organized in topical sections as follows: Hybrid Approaches; Graphs and Networks; Multiagent Systems; Automated Planning and Scheduling; AI Applications; Miscellany; Natural Language Processing; and Keynote talk.

Creating Augmented and Virtual Realities

Creating Augmented and Virtual Realities
Author: Erin Pangilinan
Publisher: "O'Reilly Media, Inc."
Total Pages: 373
Release: 2019-03-18
Genre: Computers
ISBN: 1492044148

Despite popular forays into augmented and virtual reality in recent years, spatial computing still sits on the cusp of mainstream use. Developers, artists, and designers looking to enter this field today have few places to turn for expert guidance. In this book, Erin Pangilinan, Steve Lukas, and Vasanth Mohan examine the AR and VR development pipeline and provide hands-on practice to help you hone your skills. Through step-by-step tutorials, you’ll learn how to build practical applications and experiences grounded in theory and backed by industry use cases. In each section of the book, industry specialists, including Timoni West, Victor Prisacariu, and Nicolas Meuleau, join the authors to explain the technology behind spatial computing. In three parts, this book covers: Art and design: Explore spatial computing and design interactions, human-centered interaction and sensory design, and content creation tools for digital art Technical development: Examine differences between ARKit, ARCore, and spatial mapping-based systems; learn approaches to cross-platform development on head-mounted displays Use cases: Learn how data and machine learning visualization and AI work in spatial computing, training, sports, health, and other enterprise applications