This volume is based on the International Conference Logic at Work, held in Amsterdam, The Netherlands, in December 1992. The 14 papers in this volume are selected from 86 submissions and 8 invited contributions and are all devoted to knowledge representation and reasoning under uncertainty, which are core issues of formal artificial...

This volume was primarily intended to present selected papers from the workshop on Theory and Applications of Nested Relations and Complex Objects, held in Darmstadt, FRG, from April 6-8, 1987. Other papers were solicited in order to provide a picture of the field as general as possible. Research on nested relations and complex objects...

When it comes to HDR, only three key ingredients are needed: hardware, software, and post-processing technique. Hardware is simple—there are only a few things you need to set up and shoot an HDR series. Software is vastly improved, making it easier for anyone to create an HDR image. The hard part is the post-processing technique. There...

At the instigation of the Iron and Steel Federation, the late Bernard Godfrey began work in 1952 on the first edition of the Steel Designers’ Manual. As principal author he worked on the manuscript almost continuously for a period of two years. On many Friday evenings he would meet with his co-authors, Charles Gray, Lewis Kent...

The Committee for Advancing Software-Intensive Systems Producibility was appointed by the National Research Council (NRC) and convened under the auspices of the NRC’s Computer Science and Telecommunications Board (CSTB) to assess the nature of the national investment in software research and, in particular, to consider ways to...

Materialized views have recently seen a renewed interest in the research and commercial communitites because of their applications in warehousing, retailing, billing, visualization, integrity constraints, query optimization, and decision support. All leading database vendors are currently implementing in their systems materialized views...

Graph rewriting systems have come of age. In autumn 1994, the 25th anniversary of the first publication in this area was celebrated at the 5th Workshop on Graph Grammars and their Applications to Computer Science. In the interim, the subject has evolved. The current situation can be described by a three-stage model. At the very low...

Discover how to engage your students and raise their grades and attendance in your classroom. THE MULTIPLAYER CLASSROOM: DESIGNING COURSEWORK AS A GAME is your detailed guide to designing any structured learning experience as a game. Written for professional educators or those learning to be educators, here are the tools to engage and excite...

Data mining and knowledge discovery can today be considered as stable fields with numerous efficient methods and studies that have been proposed to extract knowledge from data. Nevertheless, the famous golden nugget is still challenging. Actually, the context evolved since the first definition of the KDD process and knowledge has now...

This volume is a documenlation of I he main results in Ihe research area "Inte gration of Software Specification Techniques for Applications in Engineering". On one hand it is based on the Priority Program "Integration von Techniken der Soflwarespezifikation fur ingenieurwissensehaftliehe Anwendungen", short Soft...

There is a strong need for advances in the fields of image indexing and retrieval and visual query languages for multimedia databases. Image technology is facing both classical and novel problems for the organization and filtering of increasingly large amounts of pictorial data. Novel kinds of problems, such as indexing and high-level...

Developing, testing and operating complex machinery and repairing it under time pressure if it breaks down are some of the new skills, professionals in many occupations have to learn as quickly as possible. Actions on machinery and plants are trained in individual lessons on an immersive virtual model. This paper introduces the...