Computer Vision Systems

The main objective of the authors is to deliver specifications and underlying concepts for future computer-aided tools for the design and the control of flexible manufacturing systems for mechanical a

There is perhaps no facet of modern society where the influence of computer automation has not been felt. Flight management systems for pilots, diagnostic and surgical aids for physicians, navigationa

Following the integrated approach of the Today's Technician Series, students will gain a comprehensive understanding of all-types of automotive computer systems with this state-of-the-art resource. N

Multiple comparisons are the comparisons of two or more treatments. These may be treatments of a disease, groups of subjects, or computer systems, for example. Statistical multiple comparison methods

The bestselling account of a band of kids from New York who fought an electronic turf war that ranged across some of the nation's most powerful computer systems. "An immensely fun and -- one cannot em

This monograph is devoted to the problem of inferring geometric information about arbitrarily curved surfaces from visual cues; this is a central problem in computer vision with immediate relevance fo

Optical techniques have a huge range of potential applications in signal processing and in the interconnection of digital computing systems. This 1995 book provides a detailed review of the key issues which must be addressed in the design, evaluation and implementation of practical systems for signal processing and optical interconnection. Considerations such as the computer modelling of optical design limitations, the size and noise characteristics of optical modulators, and the relative merits of free-space and guided-wave optical technology in different processing systems, are all discussed in detail. The book will be of great interest to optical researchers and designers, and to anyone wishing to learn about the basic techniques of optical processing.

Schemas in Problem Solving explores a theory of schema development and studies the applicability of the theory as a unified basis for understanding learning, instruction and assessment. The theory's prescriptions for teaching are direct, and its application to assessment suggests new directions for tests. After examining the roots of the theory in earlier work by philosophers and psychologists, Marshall illustrates the main features of her theory with experimental evidence from students who are learning to recognize and solve arithmetic story problems. She describes individual performance with traditional empirical studies as well as computer simulation. The computer simulation reflects an approach in modelling cognition. Marshall's model links neural networks with symbolic systems to form a hybrid model that uses pattern matching of sets of features as well as logical step-by-step rules.

Markov chains are an important idea, related to random walks, which crops up widely in applied stochastic analysis. They are used, for example, in performance modelling and evaluation of computer networks, queuing networks, and telecommunication systems. The main point of the present book is to provide methods, based on the construction of Lyapunov functions, of determining when a Markov chain is ergodic, null recurrent, or transient. These methods can also be extended to the study of questions of stability. Of particular concern are reflected random walks and reflected Brownian motion. The authors provide not only a self-contained introduction to the theory but also details of how the required Lyapunov functions are constructed in various situations.

Leveson (computer science and engineering, U. of Washington) summarizes what is known about the safety of electromechanical systems, particularly those operated or monitored by computer. Emphasizing t

For curious lay readers and others without a deep knowledge of computer technology, explains the concepts behind Intelligent Vehicle-Highway Systems, in which highways and vehicles communicate traffic

This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. Emphasis is placed on semantic aspects, in the form of labelled transition structures, rather than on proof theory. The book covers all the basic material - propositional languages, semantics and correspondence results, proof systems and completeness results - as well as some topics not usually covered in a modal logic course. It is written from a mathematical standpoint. To help the reader, the material is covered in short chapters, each concentrating on one topic. These are arranged into five parts, each with a common theme. An important feature of the book is the many exercises and an extensive set of solutions is provided.

Human Computer Interaction (HCI) is concerned with every aspect of the relationship between computers and people (individuals, groups and society). The annual meeting of the British Computer Society's HCI group is recognised as one of the main venues for discussing recent trends and issues. This volume contains refereed papers and reports from the 1994 meeting. A broad range of HCI related topics are covered, including interactive systems development, user interface design, user modelling, tools, hypertext and CSCW. Both research and commercial perspectives are considered, making the book essential for all researchers, designers and manufacturers who need to keep abreast of developments in HCI.

This book is about abduction, 'the logic of Sherlock Holmes', and about how some kinds of abductive reasoning can be programmed in a computer. The work brings together Artificial Intelligence and philosophy of science and is rich with implications for other areas such as, psychology, medical informatics, and linguistics. It also has subtle implications for evidence evaluation in areas such as accident investigation, confirmation of scientific theories, law, diagnosis, and financial auditing. The book is about certainty and the logico-computational foundations of knowledge; it is about inference in perception, reasoning strategies, and building expert systems.

This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plenty of examples for an introduction to category theory. which covers categories, functors, natural transformations, the Yoneda lemma, cartesian closed categories, limits, adjunctions and indexed categories. Four kinds of formal system are considered in detail, namely algebraic, functional, polymorphic functional, and higher order polymorphic functional type theory. For each of these the categorical semantics are derived and results about the type systems are proved categorically. Issues of soundness and completeness are also considered. Aimed at advanced undergraduates and beginning graduates, this book will be of interest to theoretical computer scientists, logicians and mathematicians specialising in category theory.

This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plenty of examples for an introduction to category theory. which covers categories, functors, natural transformations, the Yoneda lemma, cartesian closed categories, limits, adjunctions and indexed categories. Four kinds of formal system are considered in detail, namely algebraic, functional, polymorphic functional, and higher order polymorphic functional type theory. For each of these the categorical semantics are derived and results about the type systems are proved categorically. Issues of soundness and completeness are also considered. Aimed at advanced undergraduates and beginning graduates, this book will be of interest to theoretical computer scientists, logicians and mathematicians specialising in category theory.

Professor Colin Blakemore presents a fascinating insight to all the major topics in visual science research. Experts from around the world show how this vast subject can be unified from the viewpoint that describes the way in which visual systems efficiently encode and represent the outside world. The approach, which is both rigorous and general, was championed by H. B. Barlow in the fifties and has recently acquired a new significance in the light of exciting developments in computer science and artificial intelligence and vision. The book is essential reading for advanced undergraduates, postgraduates and researchers in the field of vision research and neuroscience.

Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and software systems. Poor specification often gives rise to

One of the most exciting and potentially rewarding areas of scientific research is the study of the principles and mechanisms underlying brain function. It is also of great promise to future generations of computers. A growing group of researchers, adapting knowledge and techniques from a wide range of scientific disciplines, have made substantial progress understanding memory, the learning process, and self organization by studying the properties of models of neural networks - idealized systems containing very large numbers of connected neurons, whose interactions give rise to the special qualities of the brain. This book introduces and explains the techniques brought from physics to the study of neural networks and the insights they have stimulated. It is written at a level accessible to the wide range of researchers working on these problems - statistical physicists, biologists, computer scientists, computer technologists and cognitive psychologists. The author presents a coherent a

This book, the first in the Cambridge Nonlinear Science Series, presents the fundamentals of chaos theory in conservative systems, providing a systematic study of the theory of transitional states of physical systems which lie between deterministic and chaotic behaviour. The authors' treatment of transitions to chaos, the theory of stochastic layers and webs, and the numerous applications of this theory, particularly to pattern symmetry, will make the book of importance to scientists from many disciplines.The authors have been meticulous in providing a detailed presentation of the material, enabling the reader to learn the necessary computational methods and to apply them in other problems. The inclusion of a significant amount of computer graphics is also an important aid to understanding. The final section of the book contains a fascinating collection of patterns in art and living nature. The book will be of interest to graduate students and researchers in physics and mathematics who

Presents a complete introduction to modern exchange markets and what to know in order to operate them effectively using trading systems, computer-based models and other analytical tools. Contains an i

This textbook is designed as a first book on concurrent programming for computer science undergraduates, and provides a comprehensive introduction to the problems of concurrency. Concurrency is of vital importance in many areas of computer science, particularly in operating systems. It is also increasingly being taught in undergraduate courses. The book builds on the student's familiarity with sequential programming in a high level language, which will make it very accessible to computer science students. The book is concerned mainly with the high level aspects of concurrency, which will be equally applicable to traditional time sliced or more recent truly parallel systems.

Surveys the wide spectrum of automated systems available to improve manufacturing productivity including robots, numerical control machines, programmable controllers, computer controllers and micropro

The authors of the highly acclaimed State of the World series elaborate upon their vision of a global economy that does not destroy its own natural support systems.

The study of spatial processes and their applications is an important topic in statistics and finds wide application particularly in computer vision and image processing. This book is devoted to statistical inference in spatial statistics and is intended for specialists needing an introduction to the subject and to its applications. One of the themes of the book is the demonstration of how these techniques give new insights into classical procedures (including new examples in likelihood theory) and newer statistical paradigms such as Monte-Carlo inference and pseudo-likelihood. Professor Ripley also stresses the importance of edge effects and of lack of a unique asymptotic setting in spatial problems. Throughout, the author discusses the foundational issues posed and the difficulties, both computational and philosophical, which arise. The final chapters consider image restoration and segmentation methods and the averaging and summarising of images. Thus, the book will find wide appeal

Computing developed as a branch of mathematics, only to drift away from this home as computer science diverged towards more general topics such as the theory of how a computer works. Recently the emphasis has become more mathematical and the new disciplines of software engineering and information technology have emerged. This book is designed to form the basis of a one year course in discrete mathematics for first year computer scientists or software engineers. The material presented covers much of undergraduate algebra with a particular bias towards the computing applications. Topics covered include mathematical logic, set theory, finite and infinite relations and mappings, graphs, graphical algorithms and axiom systems. It concludes with implementations of many of the algorithms in Modula-2 to illustrate how the mathematics may be turned into concrete calculations. Numerous examples and exercises are included with selected solutions to the problems appearing in the appendix. Discrete

Structured methodologies are a popular and powerful tool in information systems development. Many different ones exist, each employing a number of models and so a specification must be converted from one form to another during the development process. To solve this problem, Dr Tse proposes in this 1991 book a unifying framework behind popular structured models. He approaches the problem from the viewpoints of algebra and category theory. He not only develops the frameworks but also illustrates their practical and theoretical usefulness. Thus this book will provide insight for software engineers into how methodologies can be formalised and will open up a range of applications and problems for theoretical computer scientists.

This book, the first in the Cambridge Nonlinear Science Series, presents the fundamentals of chaos theory in conservative systems, providing a systematic study of the theory of transitional states of physical systems which lie between deterministic and chaotic behaviour. The authors' treatment of transitions to chaos, the theory of stochastic layers and webs, and the numerous applications of this theory, particularly to pattern symmetry, will make the book of importance to scientists from many disciplines.The authors have been meticulous in providing a detailed presentation of the material, enabling the reader to learn the necessary computational methods and to apply them in other problems. The inclusion of a significant amount of computer graphics is also an important aid to understanding. The final section of the book contains a fascinating collection of patterns in art and living nature. The book will be of interest to graduate students and researchers in physics and mathematics who

Human factors is one of the critical issues in Information Technology, as industry realizes the need to change from technology-oriented goals to meet the demands of computer users. Human factors can help to improve Informatics Usability for real people, and to reduce the huge people-costs of human machine interactions. This book has been developed from lectures given at an Advanced Study course, sponsored by the European Science and Technology Research Committee of the Commission of the European Communities (CREST), and by the Science and Engineering Research Council (SERC) of the UK. It has three objectives: 1. To review the knowledge and methods available from the field of human factors for improving the usability of informatics systems; 2. To describe recent theoretical and methodological developments in the area; 3. To stimulate increased application of this expertise.

This book is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines the methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of program statements. Cambridge LCF is based on an earlier theorem-proving system, Edinburgh LCF, which introduced a design that gives the user flexibility to use and extend the system. A goal of this book is to explain the design, which has been adopted in several other systems. The book consists of two parts. Part I outlines the mathematical preliminaries, elementary logic and domain theory, and explains them at an intuitive level, giving reference to more advanced reading; Part II provides sufficient detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approa

Drugs affecting the nerves and the brain are among the most commonly used in contemporary medicine. This book examines the mechanism by which such substances cause their therapeutic effects or undesirable side-effects, in relation to underlying physiological and pathological processes. This new edition has been extensively revised and reorganised; the section on the autonomic system has been greatly expanded. Other changes reflect the significant advances in our understanding of drug action in the peripheral and central nervous systems which have arisen through the application of new electrophysiological and computer techniques. The volume summarises the explosion of information concerning endogenous opioids, other peptides, the benzodiazepines and their receptors. Later chapters deal with the activity and role of drugs in a number of disorders including epilepsy, schizophrenia and depression. This textbook is suitable for undergraduates in pre-clinical medical sciences, pharmaceutical

Providing the first comprehensive overview of the method of crystal growth in gels, Professor Henisch reviews the field, covering the underlying physics as well as the empirical experience of growth techniques accumulated over the past century. In addition, the book discusses the phenomenon of periodic precipitation, which often governs the distribution of crystal in laboratory growth systems. For the first time, computer techniques are brought to bear on the subject, the diffusion equations being solved numerically, in association with the conditions governing precipitations and crystal growth.

The designer of a software system, like the architect of a building, needs to be aware of the construction techniques available and to choose the ones that are the most appropriate. This book provides the implementer of software systems with a guide to 25 different techniques for the complete development processes, from system definition through design and into production. The techniques are described against a common background of the traditional development path, its activities and deliverable items. In addition the concepts of metrics and indicators are introduced as tools for both technical and managerial monitoring and control of progress and quality. The book is intended to widen the mental toolkit of system developers and their managers, and will also introduce students of computer science to the practical side of software development. With its wide-ranging treatment of the techniques available and the practical guidance it offers, it will prove an important and valuable work.

With the increasing application of software in systems, especially safety- or even life-critical systems, it is no longer sufficient for the software developer to rely solely on testing the code produced. Testing must begin with the specification of requirements, continue on the design and finally on the implemented system. This book gives guidance on how testing can be carried out at each of the stages of software development. It does this by looking at the development process from four viewpoints: that of the intended user of the system, of its designers, of its programmers, and of the manager responsible for development. The product of each stage of development is individually examined to see how it can be checked for correctness and consistency with earlier specifications. References are given to techniques available to the software developer and there are many helpful checklists. The contributors are all members of the British Computer Society's Working Group on Testing, and betwe

BCPL is a simple systems programming language with a portable compiler that has been implemented on many machines from large mainframes to mini computers and microprocessors. The book provides an introduction to the language, paying particular attention to programming style. In addition, it covers the more machine-independent parts of the BCPL library and outlines various debugging aids that most implementations provide. The syntax analysis phase of the compiler is described in detail, giving a realistic example of a typical application of the language. This and other substantial examples given in the book will be of interest both to serious users of BCPL and to computer writers. There is a chapter concerned with the portability code generator design. The reference for BCPL appears as the final chapter.

This handbook is designed for experimental scientists, particularly those in the life sciences. It is for the non-specialist, and although it assumes only a little knowledge of statistics and mathematics, those with a deeper understanding will also find it useful. The book is directed at the scientist who wishes to solve his numerical and statistical problems on a programmable calculator, mini-computer or interactive terminal. The volume is also useful for the user of full-scale computer systems in that it describes how the large computer solves numerical and statistical problems. The book is divided into three parts. Part I deals with numerical techniques and Part II with statistical techniques. Part III is devoted to the method of least squares which can be regarded as both a statistical and numerical method. The handbook shows clearly how each calculation is performed. Each technique is illustrated by at least one example and there are worked examples and exercises throughout the vo