This course will be mainly mathematics, some computer science and a little computing. Little or no essential use will be made of actual computer languages, although I may occasionally use Pascal, C, Lisp or REDUCE for concrete examples. The aim of the course is to provide an entry into the current research literature, but not to present the most recent research results. The first half of the co...

Computer arithmetic algorithms usually are represented by circuit diagrams which do not seem to be the first choice for algorithms. Rather, this is a consequence of the fact that these algorithms are implemented as circuits in almost all cases. However, it is possible to represent these algorithms in a procedural way, as is shown in this work. A specialized programming language is developed to ...

High-performance algorithms play an important role in many areas of computer science and are core components of many software systems used in real-world applications. Traditionally, the creation of these algorithms requires considerable expertise and experience, often in combination with a substantial amount of trial and error. Here, we outline a new approach to the process of designing high-pe...

Patrick Courtney (Manchester): A perspective from a vision company Arnold W. M. Smeulders (Amsterdam): Design and performance in vision Wolfgang Förstner (Bonn): Methodology and experiences with the evaluation and characterization of CV algorithms Radek Marik (Praha): Quality in computer vision Monday afternoon-first sessions of working groups 14 Definition of Working Groups:

Practical and efficient concurrent systems are notoriously hard to design, implement, and verify. As concurrent systems become a larger part of society’s mission-critical infrastructure, it is imperative that we raise the level of confidence in the correctness of these systems, and that we understand the trade-offs inherent in our algorithmic choice. Current practices for developing concurrent ...

.............................................................................................................................. ii Acknowledgments.............................................................................................................. iii Table of

Advanced algorithms and efficient visualization techniques are of major importance in intra-operative imaging and image-guided surgery. The surgical environment is characterized by a high information flow and fast decisions, requiring efficient and intuitive presentation of complex medical data and preciseness in the visualization results. Regions or organs that are classified as risk structure...

The aim of this paper is to discuss some applications of general topology in computer algorithms including modeling and simulation, and also in computer graphics and image processing. While the progress in these areas heavily depends on advances in computing hardware, the major intellectual achievements are the algorithms. The applications of general topology in other branches of mathematics ar...