|
Showing 1 - 3 of
3 matches in All Departments
This book is an up-to-date self-contained compendium of the
research carried out by the authors on model-based diagnosis of a
class of discrete-event systems called active systems. After
defining the diagnosis problem, the book copes with a variety of
reasoning mechanisms that generate the diagnosis, possibly within a
monitoring setting. The book is structured into twelve chapters,
each of which has its own introduction and concludes with
bibliographic notes and itemized summaries. Concepts and techniques
are presented with the help of numerous examples, figures, and
tables, and when appropriate these concepts are formalized into
propositions and theorems, while detailed algorithms are expressed
in pseudocode. This work is primarily intended for researchers,
professionals, and graduate students in the fields of artificial
intelligence and control theory.
This book is an up-to-date self-contained compendium of the
research carried out by the authors on model-based diagnosis of a
class of discrete-event systems called active systems. After
defining the diagnosis problem, the book copes with a variety of
reasoning mechanisms that generate the diagnosis, possibly within a
monitoring setting. The book is structured into twelve chapters,
each of which has its own introduction and concludes with
bibliographic notes and itemized summaries. Concepts and techniques
are presented with the help of numerous examples, figures, and
tables, and when appropriate these concepts are formalized into
propositions and theorems, while detailed algorithms are expressed
in pseudocode. This work is primarily intended for researchers,
professionals, and graduate students in the fields of artificial
intelligence and control theory.
This volume aims to present recent advances in database technology
from the viewpoint of the novel database paradigms proposed in the
last decade. It focuses on the theory of the extended relational
model, and an example of an extended relational database
programming language, Algres, is described. A free copy of Algres
complements this work, and is available on the Internet. The work
should be of interest to graduate studen ts following advanced
database courses, advanced data-oriented applications developers,
and researchers in the field of database programming languages and
software engineering who need a flexible prototyping platform for
the development of software tools.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|