Kategoria BISAC: Computers >> Artificial Intelligence - General

This book explains in detail how to define requirements modelling languages - formal languages used to solve requirement-related problems in requirements engineering. It moves from simple languages to more complicated ones and uses these languages to illustrate a discussion of major topics in requirements modelling language design.

The book positions requirements problem solving within the framework of broader research on ill-structured problem solving in artificial intelligence and engineering in general. Further, it introduces the reader to many complicated issues in requirements...

​This monograph poses a series of key problems of evidential reasoning and argumentation. It then offers solutions achieved by applying recently developed computational models of argumentation made available in artificial intelligence. Each problem is posed in such a way that the solution is easily understood. The book progresses from confronting these problems and offering solutions to them, building a useful general method for evaluating arguments along the way. It provides a hands-on survey explaining to the reader how to use current argumentation methods and concepts that are...

This book constitutes the refereed proceedings of the 14th International Symposium on Experimental Algorithms, SEA 2015, held in Paris, France, in June/July 2015.

The 30 revised full papers presented were carefully reviewed and selected from 76 submissions. The main theme of the symposium is the role of experimentation and of algorithm engineering techniques in the design and evaluation of algorithms and data structures. The papers are grouped in topical sections on data structures, graph problems, combinatorial optimization, scheduling and allocation, and transportation...

This book constitutes the refereed proceedings of the 23rd International Conference on User Modeling, Adaptation and Personalization, UMAP 2015, held in Dublin, Ireland, in June/July 2015.

The 25 long and 7 short papers of the research paper track were carefully reviewed and selected from 112 submissions. The papers reflect the conference theme "Contextualizing the World," highlighting the significance and impact of user modeling and adaptive technologies on a large number of everyday application areas such as: intelligent learning environments, recommender systems, e-commerce,...

Safe Robot Navigation Among Moving and Steady Obstacles is the first book to focus on reactive navigation algorithms in unknown dynamic environments with moving and steady obstacles.

The first three chapters provide introduction and background on sliding mode control theory, sensor models, and vehicle kinematics. Chapter 4 deals with the problem of optimal navigation in the presence of obstacles. Chapter 5 discusses the problem of reactively navigating. In Chapter 6, border patrolling algorithms are applied to a more general problem of reactively navigating. A method for...

Rugged Embedded Systems: Computing in Harsh Environments describes how to design reliable embedded systems for harsh environments, including architectural approaches, cross-stack hardware/software techniques, and emerging challenges and opportunities.

A "harsh environment" presents inherent characteristics, such as extreme temperature and radiation levels, very low power and energy budgets, strict fault tolerance and security constraints, etc. that challenge the computer system in its design and operation. To guarantee proper execution (correct, safe, and low-power) in such...