Mathematics is playing an ever more important role in the physical and biological sciences, provoking a blurring of boundaries between scientific disciplines and a resurgence of interest in the modern as well as the classical techniques of applied mathematics. This renewal of interest, both in research and teaching, has led to the establishment of the series: Texts in Applied Mathematics ( TAM). The development of new courses is a natural consequence of a high level of excitement on the research frontier as newer techniques, such as numerical and symbolic computer systems, dynamical systems,...
Mathematics is playing an ever more important role in the physical and biological sciences, provoking a blurring of boundaries between scientific disc...
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...
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...
During maintenance of a software system, not all questions can be answered directly by resorting to otherwise reliable and accurate source code. Reverse engineering aims at extracting abstract, goal-oriented views of the system, able to summarize relevant properties of the program's computations. Reverse Engineering of Object-Oriented Code provides a comprehensive overview of several techniques that have been recently investigated in the field of reverse engineering. The book describes the algorithms involved in recovering UML diagrams from the code and the techniques that...
During maintenance of a software system, not all questions can be answered directly by resorting to otherwise reliable and accurate source code. Re...
This book features representative work in the design of panoramic image capturing systems, the theory involved in the imaging process, and applications that use panoramic images. This book allows the reader to understand the more technical aspects of panoramic vision, such as sensor design and imaging techniques. Researchers and students especially will find this book useful.
This book features representative work in the design of panoramic image capturing systems, the theory involved in the imaging process, and application...
* The first exposition on super-recursive algorithms, systematizing all main classes and providing an accessible, focused examination of the theory and its ramifications
* Demonstrates how these algorithms are more appropriate as mathematical models for modern computers and how they present a better framework for computing methods
* Develops a new practically-oriented perspective on the theory of algorithms, computation, and automata, as a whole
* The first exposition on super-recursive algorithms, systematizing all main classes and providing an accessible, focused examination of the theory...
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...
Among all the interests in parallelism, there is an essential and fundamental one that has remained largely unexplored, namely the question of how to design parallel programs from their specification. And that is what this book is about. It proposes a method for the formal development of parallel programs - multiprograms as we have preferred to call them -, and it does so with a minimum of formal gear, viz. with the predicate calculus and with the meanwhile well-established theory of Owicki and Gries. The fact that one can get away with just this theory will probably not convey anything to...
Among all the interests in parallelism, there is an essential and fundamental one that has remained largely unexplored, namely the question of how to ...
