This two-volume set constitutes the refereed proceedings of the 5th European Conference on Computer Vision, ECCV'98, held in Freiburg, Germany, in June 1998. The 42 revised full papers and 70 revised posters presented were carefully selected from a total of 223 papers submitted. The papers are organized in sections on multiple-view geometry, stereo vision and calibration, geometry and invariances, structure from motion, colour and indexing, grouping and segmentation, tracking, condensation, matching and registration, image sequences and video, shape and shading, motion and flow, medical imaging, appearance and recognition, robotics and active vision, and motion segmentation.

Ten years ago, the inaugural European Conference on Computer Vision was held in Antibes, France. Since then, ECCV has been held biennially under the auspices of the European Vision Society at venues around Europe. This year, the privilege of organizing ECCV 2000 falls to Ireland and it is a signal honour for us to host what has become one of the most important events in the calendar of the computer vision community. ECCV is a single-track conference comprising the highest quality, previously unpublished, contributed papers on new and original research in computer vision. This year, 266 papers were submitted and, following a rigorous double-blind review process, with each paper being reviewed by three referees, 116 papers were selected by the Programme Committee for presentation at the conference. The venue for ECCV 2000 is the University of Dublin, Trinity College. - unded in 1592, it is Ireland’s oldest university and has a proud tradition of scholarship in the Arts, Humanities, and Sciences, alike. The Trinity campus, set in the heart of Dublin, is an oasis of tranquility and its beautiful squares, elegant buildings, and tree-lined playing- elds provide the perfect setting for any conference.

This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998. The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.

This book constitutes the refereed proceedings of the 8th International Conference on Inductive Logic Programming, ILP-98, held in Madison, Wisconsin, USA, in July 1998. The 27 revised full papers presented together with the abstracts of three invited talks were carefully reviewed and selected for inclusion in the book. All relevant aspects of inductive logic programming are covered ranging from theory to implementations and applications.

The intricate 3D structure of the CNS lends itself to multimedia presentation, and is depicted here by way of dynamic 3D models that can be freely rotated, and in over 200 illustrations taken from the successful book 'The Human Central Nervous System' by R. Nieuwenhuys et al, allowing the user to explore all aspects of this complex and fascinating subject. All this fully hyperlinked with over 2000 specialist terms. Optimal exam revision is guaranteed with the self-study option. For further information please contact: http://www.brainmedia.de/html/frames/pr/pr 5/pr 5 02.html

This book constitutes the refereed proceedings of the Fourth International Colloquium on Grammatical Inference, ICGI-98, held in Ames, Iowa, in July 1998. The 23 revised full papers were carefully reviewed and selected for inclusion in the book from a total of 35 submissions. The book addresses a wide range of grammatical inference theory such as automata induction, grammar induction, automatic language acquisition, etc. as well as a variety of applications in areas like syntactic pattern recognition, adaptive intelligent agents, diagnosis, computational biology, data mining, and knowledge discovery.

This book consists of the refereed proceedings of the 15th British National Conference on Databases, BNCOD 15, held in London, in July 1997. The 12 revised full papers presented were selected from more than 30 submissions. Also included are 10 poster presentations and the invited lecture on The Role of Intelligent Software Agents in Advanced Information Systems by Larry Kerschberg. The papers are organized in topical sections on transaction processing, optimization, object-orientation and the Internet, and database integration.

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.

This book constitutes the refereed proceedings of the 5th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services, IDMS'98, held in Oslo, Norway, in September 1998. The 23 revised full papers presented were carefully selected from a total of 68 submissions. Also included are seven position statements. The book is divided into topical sections on distributed multimedia applications; platforms for collaborative systems; MPEG; coding for WWW, wireless, and mobile environments; QoS and user aspects; flow control, congestion control, and multimedia streams; multimedia servers, documents, and authoring; and storage servers.

This edited volume addresses a subject which has been discussed inten sively in the computer vision community for several years. Performance characterization and evaluation of computer vision algorithms are of key importance, particularly with respect to the configuration of reliable and ro bust computer vision systems as well as the dissemination of reconfigurable systems in novel application domains. Although a plethora of literature on this subject is available for certain' areas of computer vision, the re search community still faces a lack of a well-grounded, generally accepted, and--eventually-standardized methods. The range of fundamental problems encoIl!passes the value of synthetic images in experimental computer vision, the selection of a representative set of real images related to specific domains and tasks, the definition of ground truth given different tasks and applications, the design of experimental test beds, the analysis of algorithms with respect to general characteristics such as complexity, resource consumption, convergence, stability, or range of admissible input data, the definition and analysis of performance measures for classes of algorithms, the role of statistics-based performance measures, the generation of data sheets with performance measures of algorithms sup porting the system engineer in his configuration problem, and the validity of model assumptions for specific applications of computer vision.