This is the first volume of papers from the 1998 Asian Conference on Computer Vision. The papers are organized in topical sections on areas such as biometry, physics-based vision, colour vision, robot vision and navigation, low-level processing, active vision, and motion analysis.

This text constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with E-TAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions.

A presentation of the history and state-of-the-art of universal routing strategies, which can be applied to networks independently of their respective topologies. It opens with a self-contained introduction, accessible also to newcomers. The main original results are universal network protocols for store-and-forward and wormhole routing with small buffers or without buffers. These results are presented in detail and their potential applications are discussed. The book concludes with a summary of open problems and an outlook of future directions in the area of routing theory.

This book grew out of a Dagstuhl seminar organized by the volume editors in June 1997. After the seminar, submissions for this book were solicited both from and beyond the group of participants. A peer review process followed, from which only original papers of the highest quality on the state of the art in the field were accepted for presentation in the book. The volume is divided into parts on temporal database infrastructure, temporal query languages, and advanced applications. A comprehensive bibliography, glossaries for both temporal database and time granularity concepts, and summaries...

Taken from proceedings of the 9th Annual Symposium on Combinatorial Pattern Matching, held in New Jersey, July 1998 (CPM '98), this text includes issues in combinatorial pattern matching, dealing with a variety of classical objects to be matched as well as with DNA coding.

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...

The international conference on Intelligent Tutoring Systems ITS-92 held in Montreal in June 1992 is the second in the series, following the success of ITS-88 held in Montrel in 1988. This proceedings volume contains 72 papers selected by the ITS-92 program committee from 160 papers submitted. They are preceded by six invited lectures from renowned speakers. Each paper was reviewed by at least three referees. The papers cover a wide range of subjects including: learning environments, architecture for ITS, kinowldge representation in ITS, cognitive models, help and advising systems, formal...

This book constitutes the proceedings of the 16th International Conference on Application and Theory of Petri Nets, held in Torino, Italy in June 1995
The 26 revised refereed papers presented were selected from 73 submissions from 22 countries; in addition there are abstracts or full papers of the three invited talks. All theoretical and applicational aspects are addressed by the contributors coming from industry and academia. This volume representatively documents the progress achieved in this application-oriented area of research and development since the predecessor conference held one...

This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liege, Belgium in July 1995.
The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three invited presentations. Originally oriented towards finite-state concurrent systems, CAV now covers all styles of verification approaches and a variety of application areas. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the...

This book presents a collection of refereed papers on formal language theory arranged for the occasion of the 50th birthday of Jurgen Dassow, who has made a significant contribution to the areas of regulated rewriting and grammar systems.
The volume comprises 33 revised full papers organized in sections on regulated rewriting, cooperating distributed grammar systems, parallel communicating grammar systems, splicing systems, infinite words, and algebraic approaches to languages.