Author: Bertram Fronhöfer
Publisher: Springer Science & Business Media
ISBN: 9783540554257
Category : Computers
Languages : en
Pages : 390
Book Description
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.
Parallelization in Inference Systems
Author: Bertram Fronhöfer
Publisher: Springer Science & Business Media
ISBN: 9783540554257
Category : Computers
Languages : en
Pages : 390
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 9783540554257
Category : Computers
Languages : en
Pages : 390
Book Description
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 Computing Technologies - Proceedings Of The International Conference
Author: Nikolay N Mirenkov
Publisher: World Scientific
ISBN: 9814556017
Category :
Languages : en
Pages : 519
Book Description
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.
Publisher: World Scientific
ISBN: 9814556017
Category :
Languages : en
Pages : 519
Book Description
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.
Proceedings 20th International Conference Parallel Processing 1991
Author: Tse-yun Feng
Publisher: CRC Press
ISBN: 9780849301926
Category : Technology & Engineering
Languages : en
Pages : 340
Book Description
Publisher: CRC Press
ISBN: 9780849301926
Category : Technology & Engineering
Languages : en
Pages : 340
Book Description
Processing Declarative Knowledge
Author: Harold Boley
Publisher: Springer Science & Business Media
ISBN: 9783540550334
Category : Computers
Languages : en
Pages : 452
Book Description
This volume presents the proceedings of an international workshop on the processing of declarative knowledge. The workshop was organized and hosted by the German Research Center for Artificial Intelligence (DFKI) in cooperation with the Association for Logic Programming (ALP) and the Gesellschaft f}r Informatik (GI). Knowledge is often represented using definite clauses, rules, constraints, functions, conceptual graphs, and related formalisms. The workshop addressed such high-level representations and their efficient implementation required for declarative knowledge bases. Many of the papers treat representation methods, mainly concept languages, and many treat implementation methods, such as transformation techniques and WAM-like abstract machines. Several papers describe implemented knowledge-processing systems. The competition between procedural and declarative paradigms was discussed in a panel session, and position statements of the panelists are included in the volume.
Publisher: Springer Science & Business Media
ISBN: 9783540550334
Category : Computers
Languages : en
Pages : 452
Book Description
This volume presents the proceedings of an international workshop on the processing of declarative knowledge. The workshop was organized and hosted by the German Research Center for Artificial Intelligence (DFKI) in cooperation with the Association for Logic Programming (ALP) and the Gesellschaft f}r Informatik (GI). Knowledge is often represented using definite clauses, rules, constraints, functions, conceptual graphs, and related formalisms. The workshop addressed such high-level representations and their efficient implementation required for declarative knowledge bases. Many of the papers treat representation methods, mainly concept languages, and many treat implementation methods, such as transformation techniques and WAM-like abstract machines. Several papers describe implemented knowledge-processing systems. The competition between procedural and declarative paradigms was discussed in a panel session, and position statements of the panelists are included in the volume.
Advances in Computing and Information - ICCI '90
Author: Selim G. Akl
Publisher: Springer Science & Business Media
ISBN: 9783540535041
Category : Coding theory
Languages : en
Pages : 550
Book Description
This volume contains selected and invited papers presented at the International Conference on Computing and Information, ICCI '90, Niagara Falls, Ontario, Canada, May 23-26, 1990. ICCI conferences provide an international forum for presenting new results in research, development and applications in computing and information. Their primary goal is to promote an interchange of ideas and cooperation between practitioners and theorists in the interdisciplinary fields of computing, communication and information theory. The four main topic areas of ICCI '90 are: - Information and coding theory, statistics and probability, - Foundations of computer science, theory of algorithms and programming, - Concurrency, parallelism, communications, networking, computer architecture and VLSI, - Data and software engineering, databases, expert systems, information systems, decision making, and AI methodologies.
Publisher: Springer Science & Business Media
ISBN: 9783540535041
Category : Coding theory
Languages : en
Pages : 550
Book Description
This volume contains selected and invited papers presented at the International Conference on Computing and Information, ICCI '90, Niagara Falls, Ontario, Canada, May 23-26, 1990. ICCI conferences provide an international forum for presenting new results in research, development and applications in computing and information. Their primary goal is to promote an interchange of ideas and cooperation between practitioners and theorists in the interdisciplinary fields of computing, communication and information theory. The four main topic areas of ICCI '90 are: - Information and coding theory, statistics and probability, - Foundations of computer science, theory of algorithms and programming, - Concurrency, parallelism, communications, networking, computer architecture and VLSI, - Data and software engineering, databases, expert systems, information systems, decision making, and AI methodologies.
Symposium on Logic Programming
Author:
Publisher:
ISBN:
Category : Computer programming
Languages : en
Pages : 550
Book Description
Publisher:
ISBN:
Category : Computer programming
Languages : en
Pages : 550
Book Description
Parallel Algorithms for Machine Intelligence and Vision
Author: Vipin Kumar
Publisher: Springer Science & Business Media
ISBN: 1461233909
Category : Computers
Languages : en
Pages : 445
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 1461233909
Category : Computers
Languages : en
Pages : 445
Book Description
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.
P-prolog: A Parallel Logic Programming Language
Author: Rong Yang
Publisher: World Scientific
ISBN: 9814522155
Category : Computers
Languages : en
Pages : 152
Book Description
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.
Publisher: World Scientific
ISBN: 9814522155
Category : Computers
Languages : en
Pages : 152
Book Description
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.
1987 Symposium on Logic Programming
Author:
Publisher:
ISBN:
Category : Computer programming
Languages : en
Pages : 550
Book Description
Publisher:
ISBN:
Category : Computer programming
Languages : en
Pages : 550
Book Description
Knowledge Based Computer Systems
Author: S. Ramani
Publisher: Springer Science & Business Media
ISBN: 9783540528500
Category : Computers
Languages : en
Pages : 564
Book Description
This volume presents selected papers from KBCS '89, which is the second in a series of annual conferences hosted by the Knowledge Based Computer Systems Project funded by the Government of India with United Nations assistance. The papers are grouped into sections including: - AI applications - computer architecture and parallel processing - expert systems - intelligent tutoring systems - knowledge representation - logic programming - natural language understanding - pattern recognition - reasoning - search - activities at the KBCS Nodal Centres.
Publisher: Springer Science & Business Media
ISBN: 9783540528500
Category : Computers
Languages : en
Pages : 564
Book Description
This volume presents selected papers from KBCS '89, which is the second in a series of annual conferences hosted by the Knowledge Based Computer Systems Project funded by the Government of India with United Nations assistance. The papers are grouped into sections including: - AI applications - computer architecture and parallel processing - expert systems - intelligent tutoring systems - knowledge representation - logic programming - natural language understanding - pattern recognition - reasoning - search - activities at the KBCS Nodal Centres.