The core technologies underlying software configuration managementhave changed little in more than two decades. Developmentorganizations struggle to manage ever larger software systems with tools that were never designed to handle them. Their development processes are warped by the inadequacies of their building and version management tools. Developers must take time from writing and debugging code to cope with the operational problems thrust upon them by their build system's inade quate support of large-scale concurrent development. Vesta, a novel system for large-scale software...
The core technologies underlying software configuration managementhave changed little in more than two decades. Developmentorganizations struggle to m...
Parsing, also referred to as syntax analysis, has been and continues to be an essential part of computer science and linguistics. Today, parsing techniques are also implemented in a number of other disciplines, including but not limited to, document preparation and conversion, typesetting chemical formulae, and chromosome recognition.
This second edition presents new developments and discoveries that have been made in the field. Parsing techniques have grown considerably in importance, both in computational linguistics where such parsers are the only option, and computer science,...
Parsing, also referred to as syntax analysis, has been and continues to be an essential part of computer science and linguistics. Today, parsing te...
Focusing exclusively on Image-Based Rendering (IBR) this book examines the theory, practice, and applications associated with image-based rendering and modeling. Topics covered vary from IBR basic concepts and representations on the theory side to signal processing and data compression on the practical side. One of the only titles devoted exclusively to IBR this book is intended for researchers, professionals, and general readers interested in the topics of computer graphics, computer vision, image process, and video processing. With this book advanced-level students in EECS studying...
Focusing exclusively on Image-Based Rendering (IBR) this book examines the theory, practice, and applications associated with image-based rendering...
Evolutionary computation is becoming increasingly important for computer vision and pattern recognition and provides a systematic way of synthesis and analysis of object detection and recognition systems. Incorporating "learning" into recognition systems will enable these systems to automatically generate new features on the fly and cleverly select a good subset of features according to the type of objects and images to which they are applied.
This unique monograph investigates evolutionary computational techniques---such as genetic programming, linear genetic programming,...
Evolutionary computation is becoming increasingly important for computer vision and pattern recognition and provides a systematic way of s...
This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs had the - tential for practical application to semi-automated software development. I- tial applications were mostly concerned with ?ne-grain, mathematical program synthesis. For various reasons, research interest in the area eventually tended toward more theoretic issues of constructive logic and...
This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs i...
Describes how to design object-oriented code and accompanying algorithms that can be reverse engineered for greater flexibility in future code maintenance and alteration.
Provides essential object-oriented concepts and programming methods for software engineers and researchers.
Describes how to design object-oriented code and accompanying algorithms that can be reverse engineered for greater flexibility in future code main...
As well as providing an overview of the current state of science in the analysis and synthesis of non-rigid shapes, the authors include everyday examples to explain concepts. Practice problems follow at the end of each chapter, along with detailed solutions.
As well as providing an overview of the current state of science in the analysis and synthesis of non-rigid shapes, the authors include everyday ex...
By developing object calculi in which objects are treated as primitives, the authors are able to explain both the semantics of objects and their typing rules, and also demonstrate how to develop all of the most important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, subtyping, covariance and contravariance, and method specialization. An innovative and important approach to the subject for researchers and graduates.
By developing object calculi in which objects are treated as primitives, the authors are able to explain both the semantics of objects and their typin...
An approach to complexity theory which offers a means of analysing algorithms in terms of their tractability. The authors consider the problem in terms of parameterized languages and taking "k-slices" of the language, thus introducing readers to new classes of algorithms which may be analysed more precisely than was the case until now. The book is as self-contained as possible and includes a great deal of background material. As a result, computer scientists, mathematicians, and graduate students interested in the design and analysis of algorithms will find much of interest.
An approach to complexity theory which offers a means of analysing algorithms in terms of their tractability. The authors consider the problem in term...
