Advances in Computing Sciences - Böcker

The calculus of relations turned into an important conceptual and methodological tool in computer science. The methods presented in this book include questions of relational databases, applications to program specification, resource-conscious linear logic, semantic and refinement consideration, nonclassical logics for reasoning about programs, tabular methods in software construction, algorithm development, linguistic problems, followed by a comprehensive bibliography. The reader gets an overview of the wide-ranging applicability of relational methods in computer science.

Computer vision solutions used to be very specific and difficult to adapt to different or even unforeseen situations. The current development is calling for simple to use yet robust applications that could be employed in various situations. This trend requires the reassessment of some theoretical issues in computer vision. A better general understanding of vision processes, new insights and better theories are needed. The papers selected from the conference staged in Dagstuhl in 1996 to gather scientists from the West and the former eastern-block countries address these goals and cover such fields as 2D images (scale space, morphology, segmentation, neural networks, Hough transform, texture, pyramids), recovery of 3-D structure (shape from shading, optical flow, 3-D object recognition) and how vision is integrated into a larger task-driven framework (hand-eye calibration, navigation, perception-action cycle).

There is hardly a science that is without the notion of "system". We have systems in mathematics, formal systems in logic, systems in physics, electrical and mechanical engineering, architectural-, operating-, infonnation-, programming systems in computer science, management-and PJoduction systems in industrial applications, economical-, ecological-, biological systems, and many more. In many of these disciplines formal tools for system specification, construction, verification, have been developed as well as mathematical concepts for system modeling and system simulation. Thus it is quite natural to expect that systems theory as an interdisciplinary and well established science offering general concepts and methods for a wide variety of applications is a subject in its own right in academic education. However, as can be seen from the literature and from the curricula of university studies -at least in Central Europe-, it is subordinated and either seen as part of mathematics with the risk that mathematicians, who may not be familiar with applications, define it in their own way, or it is treated separately within each application field focusing on only those aspects which are thought to be needed in the particular application. This often results in uneconomical re-inventing and re-naming of concepts and methods within one field, while the same concepts and methods are already well introduced and practiced in other fields. The fundamentals on general systems theory were developed several decades ago. We note the pioneering work of M. A. Arbib, R. E. Kalman, G. 1. Klir, M. D.