Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments

This text comprises the edited collection of papers presented at the NATO Advanced Study Institute which took place at Altmyunus,

This is the first book on automatic face recognition. Face recognition is a complex and difficult problem that is important for surveillance and security, telecommunications, digital libraries, and human-computer intelligent interactions. The book is based on a NATO Advanced Study Institute held in 1997 at which leading researchers provided a broad overview on face recognition and identified trends for future developments and the means for implementing robust systems. The methods presented are synergetic efforts from the fields signal and image processing, pattern recognition, machine...

This book contains the results of an Advanced Research Workshop that took place in Grenoble, France, in June 1988. The objective of this NATO ARW on Advanced Information Technologies for Industrial Material Flow Systems (MFS) was to bring together eminent research professionals from academia, industry and government who specialize in the study and application of information technology for material flow contro!' The current world status was reviewed and an agenda for needed research was discussed and established. The workshop focused on the following subjects: The nature of information within...

The behaviour of market prices is a fascinating subject for researchers. Opinions vary substantially. from the view that prices accurately and quickly reflect relevant information to the other extreme that prices are not rationally determined and are hence to some degree predictable. This diversity of belief about the efficiency of markets is reflected in these proceedings of the NATO Advanced Research Workshop on "A reappraisal of the efficiency of financial markets." The thirty-one workshop papers cover stock. currency and commodity markets. We are pleased to have contributions on markets...

Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. The Marktoberdorf Advanced Study Institute 1988 presented a comprehensive survey of the recent research in constructive methods in Computing Science. Some approaches to a methodological framework and to supporting tools for specification, development and verification of software systems were discussed in detail. Other lectures dealt with the relevance of the foundations of logic for questions of program construction...

Roughly nine years ago, the two editors met for the first time in Amsterdam, the Netherlands at the EURO III meeting (organized by the Association of European Operational Research Societies) there. As a result of our initial meeting, the two of us planned and carried out a number of activities in the multiple criteria decision making area, much of it supported by the North Atlantic Treaty Organization (NATO). The latest of these activities was a NATO Advanced Study Institute (ASI) on multiple criteria. decision making and risk analysis using microcomputers. The institute was held in Tarabya,...

Most industrial robots today have little or no sensory capability. Feedback is limited to information about joint positions, combined with a few interlock and timing signals. These robots can function only in an environment where the objects to be manipulated are precisely located in the proper position for the robot to grasp (i. e., in a structured environment). For many present industrial applications, this level of performance has been adequate. With the increasing demand for high performance sensor-based robot manipulators in assembly tasks, meeting this demand and challenge can only be...

Limp materials are used in many economically impo tant industries such as garment manufacture, shoe manufacture, aerospace (composites) and automobiles (seats and trim). The use of sensors is essential for reliable robotic handling of these materials, which are often based on naturally occurring substances such as cotton and leather. The materials are limp and have non-homogeneous mechanical properties which are often impossible to predict accurately. The applications are very demanding for vision and tactile sensing and signal processing, adaptive control systems, planning and systems...

Numerical linear algebra, digital signal processing, and parallel algorithms are three disciplines with a great deal of activity in the last few years. The interaction between them has been growing to a level that merits an Advanced Study Institute dedicated to the three areas together. This volume gives an account of the main results in this interdisciplinary field. The following topics emerged as major themes of the meeting: - Singular value and eigenvalue decompositions, including applications, - Toeplitz matrices, including special algorithms and architectures, - Recursive least squares...