Author: E. T. Keravnou
Publisher: Macgraw-Hill
ISBN:
Category : Computers
Languages : en
Pages : 328
Book Description
Competent Expert Systems
Author: E. T. Keravnou
Publisher: Macgraw-Hill
ISBN:
Category : Computers
Languages : en
Pages : 328
Book Description
Publisher: Macgraw-Hill
ISBN:
Category : Computers
Languages : en
Pages : 328
Book Description
Qualitative Reasoning about Physical Systems
Author: Daniel G Bobrow
Publisher: Elsevier
ISBN: 0444599215
Category : Computers
Languages : en
Pages : 498
Book Description
This volume brings together current work on qualitative reasoning. Its publication reflects the maturity of qualitative reasoning as a research area and the growing interest in problems of reasoning about physical systems.The papers present knowledge bases for a number of very different domains, including heat flow, transistors, and digital computation. A common theme of all these papers is explaining how physical systems work. An important shared criterion is that the behavioral description must be compositional, that is the description of a system's behavior must be derivable from the structure of the system.This material should be of interest to anyone concerned with automated reasoning about the real (physical) world.
Publisher: Elsevier
ISBN: 0444599215
Category : Computers
Languages : en
Pages : 498
Book Description
This volume brings together current work on qualitative reasoning. Its publication reflects the maturity of qualitative reasoning as a research area and the growing interest in problems of reasoning about physical systems.The papers present knowledge bases for a number of very different domains, including heat flow, transistors, and digital computation. A common theme of all these papers is explaining how physical systems work. An important shared criterion is that the behavioral description must be compositional, that is the description of a system's behavior must be derivable from the structure of the system.This material should be of interest to anyone concerned with automated reasoning about the real (physical) world.
Proceedings
Author: American Association for Artificial Intelligence
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 424
Book Description
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 424
Book Description
Modeling of an Automotive Body Assembly System for Dimensional Control
Author: Boon W. Shiu
Publisher:
ISBN:
Category :
Languages : en
Pages : 388
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 388
Book Description
Proceedings, IEEE International Conference on Computer Design
Author:
Publisher:
ISBN:
Category : Computer engineering
Languages : en
Pages : 794
Book Description
Publisher:
ISBN:
Category : Computer engineering
Languages : en
Pages : 794
Book Description
Tutorial--VLSI Testing & Validation Techniques
Author: Hassan K. Reghbati
Publisher:
ISBN:
Category : Technology & Engineering
Languages : en
Pages : 630
Book Description
Publisher:
ISBN:
Category : Technology & Engineering
Languages : en
Pages : 630
Book Description
Readings in Qualitative Reasoning About Physical Systems
Author: Daniel S. Weld
Publisher: Morgan Kaufmann
ISBN: 1483214478
Category : Science
Languages : en
Pages : 733
Book Description
Readings in Qualitative Reasoning about Physical Systems describes the automated reasoning about the physical world using qualitative representations. This text is divided into nine chapters, each focusing on some aspect of qualitative physics. The first chapter deal with qualitative physics, which is concerned with representing and reasoning about the physical world. The goal of qualitative physics is to capture both the commonsense knowledge of the person on the street and the tacit knowledge underlying the quantitative knowledge used by engineers and scientists. The succeeding chapter discusses the qualitative calculus and its role in constructing an envisionment that includes behavior over both mythical time and elapsed time. These topics are followed by reviews of the mathematical aspects of qualitative reasoning, history-based simulation and temporal reasoning, as well as the intelligence in scientific computing. The final chapters are devoted to automated modeling for qualitative reasoning and causal explanations of behavior. These chapters also examine the qualitative kinematics of reasoning about shape and space. This book will prove useful to psychologists and psychiatrists.
Publisher: Morgan Kaufmann
ISBN: 1483214478
Category : Science
Languages : en
Pages : 733
Book Description
Readings in Qualitative Reasoning about Physical Systems describes the automated reasoning about the physical world using qualitative representations. This text is divided into nine chapters, each focusing on some aspect of qualitative physics. The first chapter deal with qualitative physics, which is concerned with representing and reasoning about the physical world. The goal of qualitative physics is to capture both the commonsense knowledge of the person on the street and the tacit knowledge underlying the quantitative knowledge used by engineers and scientists. The succeeding chapter discusses the qualitative calculus and its role in constructing an envisionment that includes behavior over both mythical time and elapsed time. These topics are followed by reviews of the mathematical aspects of qualitative reasoning, history-based simulation and temporal reasoning, as well as the intelligence in scientific computing. The final chapters are devoted to automated modeling for qualitative reasoning and causal explanations of behavior. These chapters also examine the qualitative kinematics of reasoning about shape and space. This book will prove useful to psychologists and psychiatrists.
IEEE International High-Level Design Validation and Test Workshop
Author:
Publisher:
ISBN:
Category : Computer software
Languages : en
Pages : 192
Book Description
Publisher:
ISBN:
Category : Computer software
Languages : en
Pages : 192
Book Description
Handbook of VLSI Chip Design and Expert Systems
Author: A. F. Schwarz
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 600
Book Description
Offers a conceptual and methodological understanding of chip design, and of the fundamental principles in the computer-aided design of VLSI circuits and systems (CADCAS). The text covers where, why and how expert systems are used in subtasks of CADCAS, and in the integrated chip design system.
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 600
Book Description
Offers a conceptual and methodological understanding of chip design, and of the fundamental principles in the computer-aided design of VLSI circuits and systems (CADCAS). The text covers where, why and how expert systems are used in subtasks of CADCAS, and in the integrated chip design system.
The Summary of Engineering Research
Author: University of Illinois at Urbana-Champaign. Office of Engineering Publications
Publisher:
ISBN:
Category : Engineering
Languages : en
Pages : 336
Book Description
Publisher:
ISBN:
Category : Engineering
Languages : en
Pages : 336
Book Description