Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book is intended to att…
Despite five decades of research, parallel computing remains an exotic, frontier technology on the fringes of mainstream computing. Its much-heralded triumph over sequential computing has yet to materialize. This is in spite of the fact that the pro…
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.
This book provides an overview of the X Window System focusing on characteristics that have significant impact on the development of both application programs and widgets. We pay special attention to applications that go beyond graphical user interf…
Dynamic Reconfiguration: Architectures and Algorithms offers a comprehensive treatment of dynamically reconfigurable computer architectures and algorithms for them. The coverage is broad starting from fundamental algorithmic techniques, ranging acro…
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 o…
This book contains original reviews by well-known workers in the field of mathematical linguistics and formal language theory, written in honour of Professor Solomon Marcus on the occasion of his 70th birthday.Some of the papers deal with contextual…
THE CONTEXT OF PARALLEL PROCESSING The field of digital computer architecture has grown explosively in the past two decades. Through a steady stream of experimental research, tool-building efforts, and theoretical studies, the design of an instructi…
The research detailed in this book has been motivated by the search for a simple parallel digital optical architecture for image processing. The development of a simple unified consistent theory of parallel binary image processing is described and i…
This proceedings is based on research work on formula manipulation and computer algebra, culminating in the design and construction of a formula manipulation machine at RIKEN known as the FLATS project.
Multiple processor systems are an important class of parallel systems. Over the years, several architectures have been proposed to build such systems to satisfy the requirements of high performance computing. These architectures span a wide variety…
This book focuses on object-oriented concurrent computing, which can be considered a model of concurrent programming, and proposes a new programming language, ConcurrentSmalltalk, which is based on object-oriented concurrent computing. The book also…
The research and development of multi-dimensional pattern recognition, scene analysis, computer vision and image processing have progressed very rapidly in recent years. Among various models employed for pattern representation and analysis, the arra…
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. Sponso…
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 understand…
Modern applications are both data and computationally intensive and require the storage and manipulation of voluminous traditional (alphanumeric) and nontraditional data sets (images, text, geometric objects, time-series). Examples of such emerging…
Hard real-time systems are very predictable, but not sufficiently flexible to adapt to dynamic situations. They are built under pessimistic assumptions to cope with worst-case scenarios, so they often waste resources. Soft real-time systems are buil…
Pictorial representations are very useful for humans to understand complicated relations or structures. This is the reason that the user interface of information systems is strongly required to visualize many kinds of information in a wide variety o…
The Structural Theory of Probability addresses the interpretation of probability, often debated in the scientific community. This problem has been examined for centuries; perhaps no other mathematical calculation suffuses mankind's efforts at surviv…
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…
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 networ…
The RLISP '88 programming system introduces an evolutionary approach to software development that enables small groups of programmers to advance the state of the art over a period of many years. Each new system is built on top of the old; yet, like…
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 editor…
Mobile IP: Present State and Future is an up-to-date introduction to the rapidly evolving field of mobile IP. In addition to detailed coverage of motivation behind mobile IP and fundamental concepts of mobile IP like agent advertisement and discover…
With the advent of portable and autonomous computing systems, power con sumption has emerged as a focal point in many research projects, commercial systems and DoD platforms. One current research initiative, which drew much attention to this area, i…
This volume consists of invited papers written by eminent researchers working in the areas of theoretical computer science. The contents of the papers reflect the current trend of research being carried out in each of the areas. Some of the areas fe…
This book introduces the fundamental concepts and practical simulation te- niques for modeling different aspects of operating systems to study their g- eral behavior and their performance. The approaches applied are obje- oriented modeling and proce…
This is an up-to-date volume of selected and expanded papers originating from Vision Interface 88, a conference held in Edmonton, Canada. A broad range of topics are covered-from image processing to hardware design. They include robot vision, biomed…
This book considers computer vision to be an integral part of the artificial intelligence system. The core of the book is an analysis of possible approaches to the creation of artificial vision systems, which simulate human visual perception. Much a…
Researches and developers of simulation models state that the Java program ming language presents a unique and significant opportunity for important changes in the way we develop simulation models today. The most important characteristics of the Jav…
This book is concerned with linear and nonlinear transformations of digitized images and patterns. Transformation models include linear, quadratic, cubic, bilinear, biquadratic, bicubic, Coons model and other nonlinear forms such as harmonic, projec…
Distributed Artificial Intelligence (DAI) is a vibrant sub-field of Artificial Intelligence concerned with coordinating the knowledge and actions of multiple interacting agents. Although DAI has the potential to overcome many of the problems current…
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 n…
Michael Stroebel worked for several years as a software engineer and consultant in the German IT industry before joining IBM Research in Switzerland, where he developed his interest in support for negotiations in electronic markets. During his caree…
This first book of its kind gives a comprehensive introduction to Chinese, Japanese and Korean (CJK) Computing. Every possible related issue is covered but an in-depth look into Chinese, Japanese and Korean computing problems and environment in part…
This book contains in easily accessible form all the main ideas of the creator and principal architect of algorithmic information theory. This expanded second edition has added thirteen abstracts, a 1988 Scientific American Article, a transcript of…
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 arch…
This book presents the first attempt to combine concurrent logic programming and constraint logic programing. It is divided into three parts. In the first part, a novel computation model, called the multi-Pandora model, which is designed on the basi…
A comprehensive account of recent algorithms developed in computational number theory and primality testing. Provides a general framework for the theoretical study of public key cryptography and pseudorandom generators. Unique in its approach, the b…
This book contains a selection of 14 papers presented at the workshop organised by the International Association for Pattern Recognition (IAPR) Technical Committee on Syntactical and Structural Pattern Recognition, at Pont-a-Mousson, 1988. These pap…
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 da…
This book is an essay on relevant problems of epistemology (the theory of knowledge) related to computer science. It draws a continuous line between the earliest scientific approaches of epistemology, starting with the Greek Classics and the recent…