The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineeri...
A collection of papers on computer vision research in Europe, with sections on image features, stereo and reconstruction, optical flow, motion, struct...
The dynamic aspects of knowledge representation systems, namely, reasoning with represented knowledge and revising represented knowledge, are the most...
