This book consists of a collection of thoroughly refereed revised papers selected from the submissions for presentation at the 6th International Workshop on Software Configuration Management, SCM-6, held in conjunction with ICSE '96 in Berlin, Germany, in March 1996.
Besides 17 full papers, the book contains an introductory overview and 6 selected position papers. The papers are organized in topical sections on versioning models and experience, version space management, CM databases and workspaces, distributed configuration management, industrial experience with CM systems, and CM...

This volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001) held at Tohoku U- versity, Sendai, Japan in October 2001. The TACS symposium focuses on the theoretical foundations of progr- ming and their applications. As this volume shows, TACS is an international symposium, with participants from many di?erent institutions and countries. TACS 2001 was the fourth symposium in the TACS series, following TACS 91, TACS 94, and TACS 97, whose proceedings were published as Volumes 526, 789, and 1281, respectively, of...

Mobile agents refer to self-contained and identi?able computer programs that can move within the network and can act on behalf of the user or another entity. Most of the current research work on the mobile agent paradigm has two general goals: reduction of network traf?c and asynchronous interaction. These two goals stem directly from the desire to reduce information overload and to ef?ciently use network resources. There are certainly many motivations for the use of a mobile agent paradigm; h- ever, intelligent information retrieval, network and mobility management, and network services are...

This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Techniques and Applications, RTA-97, held in Sitges, Spain, in June 1997.
The 24 revised full papers presented were selected from a total of 54 submissions. Also included are abstracts of two invited talks and four system descriptions. Besides classical topics like termination, confluence, or applications to theorem proving, several new approaches to rewriting are presented. All in all, this volume presents the state of the art in the area of rewriting techniques and applications.

Multimodal Interfaces represents an emerging interdisciplinary research direction and has become one of the frontiers in Computer Science. Multimodal interfaces aim at efficient, convenient and natural interaction and communication between computers (in their broadest sense) and human users. They will ultimately enable users to interact with computers using their everyday skills. These proceedings include the papers accepted for presentation at the Third International Conference on Multimodal Interfaces (ICMI 2000) held in Beijing, China on 1416 O ctober 2000. The papers were selected from...

This volume presents the proceedings of the Fifth Integer Programming and Combinatorial Optimization Conference, IPCO V, held in Vancouver, British Columbia, Canada, in June 1996.
The 36 revised papers included in the book were selected from a total of 99 submissions; they highlight recent developments in theory, computation, and applications of integer programming and combinatorial optimization. The volume is organized in sections on integer programming theory and models, network flow algorithms, approximation algorithms, semi-definite methods, matrix models, set systems and...

This book constitutes the refereed proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science, MFCS '96, held in Crakow, Poland in September 1996.
The volume presents 35 revised full papers selected from a total of 95 submissions together with 8 invited papers and 2 abstracts of invited talks. The papers included cover issues from the whole area of theoretical computer science, with a certain emphasis on mathematical and logical foundations. The 10 invited presentations are of particular value.

The first International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS) was organized by Prof. K. Rothermel and Prof. W. Effelsberg, and took place in Stuttgart in 1992. It had the form of a national forum for discussion on multimedia issues related to communications. The succeeding event was "attached" as a workshop to the German Computer Science Conference (GI Jahrestagung) in 1994 in Hamburg, organized by Prof. W. Lamersdorf. The chairs of the third IDMS, E. Moeller and B. Butscher, enhanced the event to become a very successful international...

This monograph is devoted to the problem of inferring geometric information about arbitrarily curved surfaces from visual cues; this is a central problem in computer vision with immediate relevance for robot manipulation and navigation.
The author develops computational theories and techniques relating visual information arising from viewer movements to the differential geometry of visible surfaces. The theories developed have been implemented and tested using a real-time tracking system based on deformable contours. Applications of the techniques to geometric modelling, obstacle...

This book constitutes the thoroughly refereed post-conference proceedings of the 6th Congress of the Italian Association for Artificial Intelligence, AI*IA 99, held in Bologna, Italy, in September 1999.
The 33 revised full papers presented were carefully reviewed and selected for inclusion in the book from a total of 64 congress submissions. The papers are organized in topical sections on knowledge representation; automated reasoning; temporal and qualitative reasoning; machine learning, data mining, and theory revision; natural language processing and web interfaces; multi-agent systems;...