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.

The four-volume set comprising LNCS volumes 3021/3022/3023/3024 constitutes the refereed proceedings of the 8th European Conference on Computer Vision, ECCV 2004, held in Prague, Czech Republic, in May 2004. The 190 revised papers presented were carefully reviewed and selected from a total of 555 papers submitted. The four books span the entire range of current issues in computer vision. The papers are organized in topical sections on tracking; feature-based object detection and recognition; geometry; texture; learning and recognition; information-based image processing; scale space, flow, and restoration; 2D shape detection and recognition; and 3D shape representation and reconstruction.

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.