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 Symbolic Computing: Languages, Systems, and Applications
Author: Robert H. Halstead
Publisher: Springer Science & Business Media
ISBN: 9783540573968
Category : Computers
Languages : en
Pages : 438
Book Description
Parallel and distributed computing are becoming increasingly important as cost-effective ways to achieve high computational performance. Symbolic computations are notable for their use of irregular data structures and hence parallel symbolic computing has its own distinctive set of technical challenges. The papers in this book are based on presentations made at a workshop at MIT in October 1992. They present results in a wide range of areas including: speculative computation, scheduling techniques, program development tools and environments, programming languages and systems, models of concurrency and distribution, parallel computer architecture, and symbolic applications.
Publisher: Springer Science & Business Media
ISBN: 9783540573968
Category : Computers
Languages : en
Pages : 438
Book Description
Parallel and distributed computing are becoming increasingly important as cost-effective ways to achieve high computational performance. Symbolic computations are notable for their use of irregular data structures and hence parallel symbolic computing has its own distinctive set of technical challenges. The papers in this book are based on presentations made at a workshop at MIT in October 1992. They present results in a wide range of areas including: speculative computation, scheduling techniques, program development tools and environments, programming languages and systems, models of concurrency and distribution, parallel computer architecture, and symbolic applications.
Parallel Processing for Artificial Intelligence 1
Author: L.N. Kanal
Publisher: Elsevier
ISBN: 1483295745
Category : Computers
Languages : en
Pages : 445
Book Description
Parallel processing for AI problems is of great current interest because of its potential for alleviating the computational demands of AI procedures. The articles in this book consider parallel processing for problems in several areas of artificial intelligence: image processing, knowledge representation in semantic networks, production rules, mechanization of logic, constraint satisfaction, parsing of natural language, data filtering and data mining. The publication is divided into six sections. The first addresses parallel computing for processing and understanding images. The second discusses parallel processing for semantic networks, which are widely used means for representing knowledge - methods which enable efficient and flexible processing of semantic networks are expected to have high utility for building large-scale knowledge-based systems. The third section explores the automatic parallel execution of production systems, which are used extensively in building rule-based expert systems - systems containing large numbers of rules are slow to execute and can significantly benefit from automatic parallel execution. The exploitation of parallelism for the mechanization of logic is dealt with in the fourth section. While sequential control aspects pose problems for the parallelization of production systems, logic has a purely declarative interpretation which does not demand a particular evaluation strategy. In this area, therefore, very large search spaces provide significant potential for parallelism. In particular, this is true for automated theorem proving. The fifth section considers the problem of constraint satisfaction, which is a useful abstraction of a number of important problems in AI and other fields of computer science. It also discusses the technique of consistent labeling as a preprocessing step in the constraint satisfaction problem. Section VI consists of two articles, each on a different, important topic. The first discusses parallel formulation for the Tree Adjoining Grammar (TAG), which is a powerful formalism for describing natural languages. The second examines the suitability of a parallel programming paradigm called Linda, for solving problems in artificial intelligence.Each of the areas discussed in the book holds many open problems, but it is believed that parallel processing will form a key ingredient in achieving at least partial solutions. It is hoped that the contributions, sourced from experts around the world, will inspire readers to take on these challenging areas of inquiry.
Publisher: Elsevier
ISBN: 1483295745
Category : Computers
Languages : en
Pages : 445
Book Description
Parallel processing for AI problems is of great current interest because of its potential for alleviating the computational demands of AI procedures. The articles in this book consider parallel processing for problems in several areas of artificial intelligence: image processing, knowledge representation in semantic networks, production rules, mechanization of logic, constraint satisfaction, parsing of natural language, data filtering and data mining. The publication is divided into six sections. The first addresses parallel computing for processing and understanding images. The second discusses parallel processing for semantic networks, which are widely used means for representing knowledge - methods which enable efficient and flexible processing of semantic networks are expected to have high utility for building large-scale knowledge-based systems. The third section explores the automatic parallel execution of production systems, which are used extensively in building rule-based expert systems - systems containing large numbers of rules are slow to execute and can significantly benefit from automatic parallel execution. The exploitation of parallelism for the mechanization of logic is dealt with in the fourth section. While sequential control aspects pose problems for the parallelization of production systems, logic has a purely declarative interpretation which does not demand a particular evaluation strategy. In this area, therefore, very large search spaces provide significant potential for parallelism. In particular, this is true for automated theorem proving. The fifth section considers the problem of constraint satisfaction, which is a useful abstraction of a number of important problems in AI and other fields of computer science. It also discusses the technique of consistent labeling as a preprocessing step in the constraint satisfaction problem. Section VI consists of two articles, each on a different, important topic. The first discusses parallel formulation for the Tree Adjoining Grammar (TAG), which is a powerful formalism for describing natural languages. The second examines the suitability of a parallel programming paradigm called Linda, for solving problems in artificial intelligence.Each of the areas discussed in the book holds many open problems, but it is believed that parallel processing will form a key ingredient in achieving at least partial solutions. It is hoped that the contributions, sourced from experts around the world, will inspire readers to take on these challenging areas of inquiry.
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.
Parallel Processing and Applied Mathematics
Author: Roman Wyrzykowski
Publisher: Springer Science & Business Media
ISBN: 3540437924
Category : Computers
Languages : en
Pages : 900
Book Description
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Parallel Processing and Applied Mathematics, PPAM 2002, held in Naleczow, Poland, in September 2001. The 101 papers presented were carefully reviewed and improved during two rounds of reviewing and revision. The book offers topical sections on distributed and grid architectures, scheduling and load balancing, performance analysis and prediction, parallel non-numerical algorithms, parallel programming, tools and environments, parallel numerical algorithms, applications, and evolutionary computing and neural networks.
Publisher: Springer Science & Business Media
ISBN: 3540437924
Category : Computers
Languages : en
Pages : 900
Book Description
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Parallel Processing and Applied Mathematics, PPAM 2002, held in Naleczow, Poland, in September 2001. The 101 papers presented were carefully reviewed and improved during two rounds of reviewing and revision. The book offers topical sections on distributed and grid architectures, scheduling and load balancing, performance analysis and prediction, parallel non-numerical algorithms, parallel programming, tools and environments, parallel numerical algorithms, applications, and evolutionary computing and neural networks.
Future Parallel Computers
Author: Philip C. Treleaven
Publisher: Springer Science & Business Media
ISBN: 9783540182030
Category : Computers
Languages : en
Pages : 506
Book Description
Organized by the University of Pisa on behalf of the European Strategic Programme for Research and Development in Information Technology (ESPRIT)
Publisher: Springer Science & Business Media
ISBN: 9783540182030
Category : Computers
Languages : en
Pages : 506
Book Description
Organized by the University of Pisa on behalf of the European Strategic Programme for Research and Development in Information Technology (ESPRIT)
Artificial Intelligence And Information-control Systems Of Robots '97 - Proceedings Of The Seventh International Conference
Author: Ivan Plander
Publisher: World Scientific
ISBN: 9814545716
Category :
Languages : en
Pages : 406
Book Description
AIICSR '97 (Artificial Intelligence and Information-Control Systems of Robots) is one of the most traditional East-West professional meetings devoted to artifical intelligence (AI) and its applications in robots. The themes of the conference are aimed at the issues of AI theory and applications. The conference is devoted to the development and philosophical reflections of AI, and presents the most important topics, such as knowledge discovery and data mining, and study of context. In addition to robots, AI has created softbots — software robots working in a complex information environment. The WWW has become the most exciting application of AI. Further important topics in this volume include formal modelling of reactive systems, development of parallel and distributed computer architectures, declarative programming, agent societies and other fields, from which theoretical results in computer vision and its applications in robotics deserve special attention.
Publisher: World Scientific
ISBN: 9814545716
Category :
Languages : en
Pages : 406
Book Description
AIICSR '97 (Artificial Intelligence and Information-Control Systems of Robots) is one of the most traditional East-West professional meetings devoted to artifical intelligence (AI) and its applications in robots. The themes of the conference are aimed at the issues of AI theory and applications. The conference is devoted to the development and philosophical reflections of AI, and presents the most important topics, such as knowledge discovery and data mining, and study of context. In addition to robots, AI has created softbots — software robots working in a complex information environment. The WWW has become the most exciting application of AI. Further important topics in this volume include formal modelling of reactive systems, development of parallel and distributed computer architectures, declarative programming, agent societies and other fields, from which theoretical results in computer vision and its applications in robotics deserve special attention.
Scientific and Technical Aerospace Reports
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 656
Book Description
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 656
Book Description
Parallel and Distributed Processing
Author: José D. P. Rolim
Publisher: Springer Science & Business Media
ISBN: 9783540658313
Category : Computers
Languages : en
Pages : 1474
Book Description
This book constitutes the refereed proceedings of 11 IPPS/SPDP '98 Workshops held in conjunction with the 13th International Parallel Processing Symposium and the 10th Symposium on Parallel and Distributed Processing in San Juan, Puerto Rico, USA in April 1999. The 126 revised papers presented were carefully selected from a wealth of papers submitted. The papers are organised in topical sections on biologically inspired solutions to parallel processing problems: High-Level Parallel Programming Models and Supportive Environments; Biologically Inspired Solutions to Parallel Processing; Parallel and Distributed Real-Time Systems; Run-Time Systems for Parallel Programming; Reconfigurable Architectures; Java for Parallel and Distributed Computing; Optics and Computer Science; Solving Irregularly Structured Problems in Parallel; Personal Computer Based Workstation Networks; Formal Methods for Parallel Programming; Embedded HPC Systems and Applications.
Publisher: Springer Science & Business Media
ISBN: 9783540658313
Category : Computers
Languages : en
Pages : 1474
Book Description
This book constitutes the refereed proceedings of 11 IPPS/SPDP '98 Workshops held in conjunction with the 13th International Parallel Processing Symposium and the 10th Symposium on Parallel and Distributed Processing in San Juan, Puerto Rico, USA in April 1999. The 126 revised papers presented were carefully selected from a wealth of papers submitted. The papers are organised in topical sections on biologically inspired solutions to parallel processing problems: High-Level Parallel Programming Models and Supportive Environments; Biologically Inspired Solutions to Parallel Processing; Parallel and Distributed Real-Time Systems; Run-Time Systems for Parallel Programming; Reconfigurable Architectures; Java for Parallel and Distributed Computing; Optics and Computer Science; Solving Irregularly Structured Problems in Parallel; Personal Computer Based Workstation Networks; Formal Methods for Parallel Programming; Embedded HPC Systems and Applications.
Parallel Execution of Logic Programs
Author: Anthony Beaumont
Publisher: Springer Science & Business Media
ISBN: 9783540550389
Category : Computers
Languages : en
Pages : 212
Book Description
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?
Publisher: Springer Science & Business Media
ISBN: 9783540550389
Category : Computers
Languages : en
Pages : 212
Book Description
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?