Computers - Computer Science

This monograph is the first comprehensive study of the design, application, and implementation of Pandora, a new parallel logic programming language. Pandora combines stream and-parallelism with don't-know non-determinism in a unified and efficient manner. As a result, it provides a programming paradigm of non-deterministic...

The interplay of artificial intelligence and software engineering has been an interesting and an active area in research institution and industry. This book covers the state of the art in the use of knowledge-based approaches for software specification, design, implementation, testing and debugging. Starting...

Author: M. Nivat,Ahmed Saoudi,Patrick S. P. WangISBN-10: 9810211201ISBN-13: 9789810211202Publisher: World Scientific Publishing CompanyLanguage: EnglishPublished: 10/01/1992Pages: 480Format: HardcoverWeight: 1.36lbsSize: 9.90h x 6.70w x 0.70d

This book describes recent research advances and computer tools that can be applied in the determination of geometric tolerances. A framework for tolerance synthesis is developed and used with artificial intelligence techniques to provide computer methods for both analysis and synthesis of geometric tolerance...

This volume is the first in a series which deals with the challenge of AI issues, gives updates of AI methods and applications, and promotes high quality new ideas, techniques and methodologies in AI. This volume contains articles by 38 specialists in various AI...

This book offers a systematic approach to knowledge engineering problems. It gives a brief overview of knowledge engineering systems and environments, covering both classical and recent techniques of the design and evaluation of them. Detailed descriptions of particular techniques and applications are also provided.Author:...

With increasing demands for high precision autonomous control over wide operating envelopes, conventional control engineering approaches are unable to adequately deal with system complexity, nonlinearities, spatial and temporal parameter variations, and with uncertainty. Intelligent Control or self-organising/learning control is a new emerging discipline that...

This collection of reprints describes a unified treatment of semantics, covering a wide range of notions in parallel languages. Included are several foundational and introductory papers developing the methodology of metric semantics, studies on the comparative semantics of parallel object-oriented and logic programming, and...

This review volume consists of articles concerning CASE technology and research as discussed from two perspectives.For the most part, the available CASE technology is intended to automate certain phases of the software development life cycle. The book contains articles which focus on how the...

This book contains articles on advanced topics in language architectures and programming environments. The chapters are written by distinctive leaders in their respective research fields. The original articles and reprints are enhanced by the editors' descriptions which are intended to guide the reader. The...

This book describes recent strategies and applications for extracting useful information from sensor data. For example, the methods presented by Roth and Levine are becoming widely accepted as the 'best' way to segment range images, and the neural network methods for Alpha-numeric character recognition,...

This book is a collection of surveys and exploratory articles about recent developments in the field of computational Euclidean geometry. The topics covered are: a history of Euclidean geometry, Voronoi diagrams, randomized geometric algorithms, computational algebra; triangulations, machine proofs, topological designs, finite-element mesh, computer-aided...

Advanced robot systems require sensory information to enable them to make decisions and to carry out actions in a versatile, autonomous way. Humans make considerable use of information derived through touch, and an emerging domain of robot sensing is tactile sensing. This book considers...

Parallel implementation of algorithms involves many difficult problems. In particular among them are round-off analysis, the way to convert sequential programs and algorithms into the parallel mode, the choice of appropriate or optimal computer architect and so on. To solve these problems, it is...

Twelve outstanding papers have been carefully selected from those presented at a series of symposia held at Kyoto University and the Advanced Software Technology and Mechatronics Research Institute of Kyoto during the years 1986 through 1990. Sponsored by the Research Institute of Mathematical Sciences...

The main focus of this book is on the uses of computer vision for inspection and model based matching. It also provides a short, self contained introductory course on computer vision. The authors describe various state-of-the-art approaches to probems and then set forth their...

The revitalization of neural network research in the past few years has already had a great impact on research and development in pattern recognition and artificial intelligence. Although neural network functions are not limited to pattern recognition, there is no doubt that a renewed...

This book presents an extensive survey of the state-of-the-art research in parallel computational algorithms and architectures for robot manipulator control and simulation. It deals not only with specifics but also includes general and broader issues which serve as a useful foundation to the topic....

This book provides a comprehensive yet concise coverage of the concepts and technology of database systems and their evolution into knowledge-bases. The traditional material on database systems at senior undergraduate level is covered. An understanding of concepts is emphasized avoiding extremes in formalism or...

This book contains 15 reviewed papers selected from among those presented at the 4th Vision Interface Conference in Halifax, Canada 14 - 18 May 1990. The papers are grouped into three sections which deal with parallel architectures and neural networks, algorithms for analysis and...

Learning and planning are two important topics of artificial intelligence. Learning deals with the algorithmic processes that make a computing machine able to "learn" and improve its performance during the process of complex tasks. Planning on the other hand, deals with decision and construction...

This volume contains a well-balanced set of applications and theory papers in artificial intelligence advances. The applications papers each discuss a system that is (or is close to being) a fielded system that solves real problems using one or more AI techniques. They cover...

This book concerns a Josephson device for supercomputers which has extremely low heat dissipation (about 106 times less than semiconductor devices and 103 times less than voltage-based Josephson devices). In the previous book on Quantum Flux Parametrons (QFPs), DC Flux Parametron, the basic device...

The contents of this book are self-sufficient in the sense that no preliminary knowledge other than elementary set theory is needed and there are no complicated mathematical theorems in the book. A must for those entering the field.Author: Xiwen MaISBN-10: 9810201931ISBN-13: 9789810201937Publisher: World Scientific...

Author: Kongshi XuISBN-10: 9810201524ISBN-13: 9789810201524Publisher: World Scientific Publishing CompanyLanguage: EnglishPublished: 03/01/1991Pages: 224Format: Hardcover

This book describes a study on the question of what sort of innate knowledge it is that enables children to acquire a first language. The author, using a computational approach, builds a model, named BUD (Bring Up a Daughter), on the basis of the...

This book is the first attempt to give a chaotic dynamics interpretation of processes having to do with category formation and pattern recognition by systems possessing simple hardware e.g. few degrees of freedom. It is multidisciplinary in its approach and would be useful to...

This two-volume work focuses on the mathematical aspects of Darwinian evolution starting from the basic model of stochastic evolution of a single isolated locus in the presence of mutation to the multi-locus models of sexual and asexual populations. Volume 2 discusses the inference of...

Playing online games, running programs, or searching the Internet: we couldn't do any of these things without hardware. In this straightforward text, readers take a first look at the keyboard, mouse, and computer screen, as well as the unseen insides of a computer. Relevant...

The explanation of brain functioning in terms of the association of ideas has been popular since the 17th century. Recently, however, the process of association has been dismissed as computationally inadequate by prominent cognitive scientists. In this book, a sharper definition of the term...

This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples...

Summary Spark GraphX in Action starts out with an overview of Apache Spark and the GraphX graph processing API. This example-based tutorial then teaches you how to configure GraphX and how to use it interactively. Along the way, you'll collect practical techniques for enhancing...

The field of weak arithmetics is an application of logical methods to number theory that was developed by mathematicians, philosophers, and theoretical computer scientists. This third volume in the weak arithmetics collection contains nine substantive papers based on lectures delivered during the two last...

The field of weak arithmetics is an application of logical methods to number theory that was developed by mathematicians, philosophers, and theoretical computer scientists. In this volume, after a general presentation of weak arithmetics, the following topics are studied: the properties of integers of...

Since the dawn of the age of computers, researchers have been pushing the limits of available processing power to tackle the formidable challenge of developing software that can understand ordinary human language. At the forefront of this quest for the past fifty years, Martin...

IT Maintenance: Applied Project Management modifies project management best practices to improve how IT system maintenance is managed. By taking a fresh look at increasing value and quality of system maintenance in a straightforward and practical way, this book helps readers understand how to...

We live in an increasingly interconnected society. Advancements in technology are enabling us to connect even more. However, there are still people around the world who are unable to utilize the amazing power of technology due to disabilities, remote locations, or the inability to...

The youngest generation of digital natives will enjoy exploring the stories of how the first computers led to the latest cutting-edge technology. From Charles Babbage's Difference Engine and Ada Lovelace's programming skills to groundbreaking biotechnology and haptic technology, this awesome volume examines the STEM...

Winner of a Shingo Research and Professional Publication AwardInformation Technology is supposed to enable business performance and innovation, improve service levels, manage change, and maintain quality and stability, all while steadily reducing operating costs. Yet when an enterprise begins a Lean transformation, too often...

Founded in 1989, Teach For America (TFA) has grown into a massive organization with a presence across the United States and has expanded internationally to 46 countries. TFA's international expansion through Teach For All (TFAll) coincides with a broader exportation of neoliberal education reform...

First published in 1999. Volume 13 in the 13-volume set titled World Futures General Evolution Studies with a common focus of the emerging field of general evolutionary theory. This volume will expand across disciplines where scholars from new fields will contribute books that propose...

Merged Evolution charts the implications of two major forces of change, information technology and biotechnology, combined with a third force, that of 'artifactual' information, which is handed down dichronically from computing device to computing device.Through developments anticipated in the near future, Dr. Goonatilake describes...

Computers are a fundamentally important tool in sport science research, sports performance analysis and, increasingly, in coaching and education programmes in sport. This book defines the field of 'sport informatics', explaining how computer science can be used to solve sport-related problems, in both research...

The track record of IT projects is poor. Less than a third of IT projects deliver what they said they would, on schedule and on budget. The major cause of IT project failure is not, as you might expect, poor IT leadership or difficult...

In an age of globalization, widely distributed systems, and rapidly advancing technological change, IT professionals and their managers must understand that risk is ever present. The key to project success is to identify risk and subsequently deal with it.The CIO's Guide to Risk addresses...

This is a completely revised and updated edition of this text designed to introduce students to the historical, intellectual and social context of computers. Although the majority of the chapters in this edition are new, the original criteria for selecting essays has been retained....

CATIA V6 (Computer-Aided Three Dimensional Interactive Application) is the world's leading multi-platform CAD/CAM/CAE software suite marketed worldwide by IBM. It allows the user to apply its capabilities to a variety of industries such as automotive, industrial robots, electronics, manufacturing design, aerospace, and consumer goods....

Designed for SAP users as a quick reference or for computer science and business students, SAP SD Questions and Answers includes all the major concepts related to SAP SD functionality, technical configuration, and implementation in an easy-to-understand question and answer format. This organized and...

Today, society is faced with numerous internet schemes, fraudulent scams, and means of identity theft that threaten our safety and our peace of mind. Computer Security: Protecting Digital Resources provides a broad approach to computer-related crime, electronic commerce, corporate networking, and Internet security, topics...

BTEC National for IT Practitioners: Systems Units has been written specifically to cover the systems pathway of the BTEC National specifications. This book caters for one of the most popular pathways in the BTEC National specifications, bringing together all the key specialist units for...