Parallelization in Inference Systems
Parallelization in Inference Systems

Author: Bertram Fronhöfer

Publisher: Springer Science & Business Media

Published: 1992-04-22

Total Pages: 390

ISBN-13: 9783540554257

DOWNLOAD EBOOK

This volume contains the proceedings of an international workshop on parallelism in inference systems held in Germany in December 1990. The topicof the workshop is still rather young and several papers in the book are overview articles intended to provide a first orientation toward some of the more intensively investigated subtopics. The main part of the book is a compilation of research papers on parallelization in special domains ofinference such as rewriting, automatic reasoning, logic programming, andconnectionist inference. Appended to the book is a collection of short project summaries received in response to a worldwide email call. The book is intended primarily for researchers working on inference systems who are interested in parallelizing their systems.

Parallel Execution of Logic Programs
Parallel Execution of Logic Programs

Author: Anthony Beaumont

Publisher: Springer Science & Business Media

Published: 1991-12-11

Total Pages: 212

ISBN-13: 9783540550389

DOWNLOAD EBOOK

Logic programming refers to execution of programs written in Horn logic. Among the advantages of this style of programming are its simple declarativeand procedural semantics, high expressive power and inherent nondeterminism. The papers included in this volume were presented at the Workshop on Parallel Logic Programming held in Paris on June 24, 1991, as part of the 8th International Conference on Logic Programming. The papers represent the state of the art in parallel logic programming, and report the current research in this area, including many new results. The three essential issues in parallel execution of logic programs which the papers address are: - Which form(s) of parallelism (or-parallelism, and-parallelism, stream parallelism, data-parallelism, etc.) will be exploited? - Will parallelism be explicitly programmed by programmers, or will it be exploited implicitly without their help? - Which target parallel architecture will the logic program(s) run on?

P-prolog: A Parallel Logic Programming Language
P-prolog: A Parallel Logic Programming Language

Author: Rong Yang

Publisher: World Scientific

Published: 1988-01-01

Total Pages: 152

ISBN-13: 9814522155

DOWNLOAD EBOOK

P-Prolog is put forward as an alternative proposal to the difficulties faced in the main research areas of parallel logic programmings, which have been studied. P-Prolog provides the advantages of guarded Horn clauses while retaining don't know non-determinism where required. This monograph presents also an or-tree model and an implementation scheme for it, to combine and- and or- parallelism with reasonable efficiency. The model and implementation scheme discussed can be applied to P-Prolog and other parallel logic languages.

Parallel Execution of Logic Programs
Parallel Execution of Logic Programs

Author: Anthony Beaumont

Publisher: Springer

Published: 1991-12-11

Total Pages: 0

ISBN-13: 9783540550389

DOWNLOAD EBOOK

Logic programming refers to execution of programs written in Horn logic. Among the advantages of this style of programming are its simple declarativeand procedural semantics, high expressive power and inherent nondeterminism. The papers included in this volume were presented at the Workshop on Parallel Logic Programming held in Paris on June 24, 1991, as part of the 8th International Conference on Logic Programming. The papers represent the state of the art in parallel logic programming, and report the current research in this area, including many new results. The three essential issues in parallel execution of logic programs which the papers address are: - Which form(s) of parallelism (or-parallelism, and-parallelism, stream parallelism, data-parallelism, etc.) will be exploited? - Will parallelism be explicitly programmed by programmers, or will it be exploited implicitly without their help? - Which target parallel architecture will the logic program(s) run on?

Parallel Computing Technologies - Proceedings Of The International Conference
Parallel Computing Technologies - Proceedings Of The International Conference

Author: Nikolay N Mirenkov

Publisher: World Scientific

Published: 1991-08-24

Total Pages: 519

ISBN-13: 9814556017

DOWNLOAD EBOOK

The proceedings of this UNESCO-supported conference consist of papers covering new trends and experiences in parallel computing technologies. Emphasis is made on the practical aspects of parallel programming, especially: all aspects of the applications of parallel computing technologies; hardware, languages and software tools for parallel processing; operating systems; general architecture concepts; enabling technologies; performance measurements; and the teaching of parallel processing technology.

Parallel Algorithms for Machine Intelligence and Vision
Parallel Algorithms for Machine Intelligence and Vision

Author: Vipin Kumar

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 445

ISBN-13: 1461233909

DOWNLOAD EBOOK

Recent research results in the area of parallel algorithms for problem solving, search, natural language parsing, and computer vision, are brought together in this book. The research reported demonstrates that substantial parallelism can be exploited in various machine intelligence and vision problems. The chapter authors are prominent researchers actively involved in the study of parallel algorithms for machine intelligence and vision. Extensive experimental studies are presented that will help the reader in assessing the usefulness of an approach to a specific problem. Intended for students and researchers actively involved in parallel algorithms design and in machine intelligence and vision, this book will serve as a valuable reference work as well as an introduction to several research directions in these areas.