This book constitutes the strictly refereed post-conference proceedings of the International Conference on Worldwide Computing and Its Applications, WWCA'97, held in Tsukuba, Japan, in March 1997.
The volume presents 15 revised full papers selected from 50 submissions as well as 15 revised invited papers by leading researchers in this emerging area and two keynotes. The papers are organized in topical sections on distributed programming languages and systems, distributed object environments, cooperative computation, collaboration support Systems, collaborative media, novel distributed...

This book is part of the refereed 2-volume proceedings of the 9th International Conference on Image Analysis and Processing, ICIAP'97, held in Florence, Italy, September 1997.
Both volumes together present several keynote contributions and 173 revised papers selected from over 300 submissions. The contributing authors (more than 400 in number) provide a wealth of new results in the areas of image analysis, pattern recognition and computer vision. Among the basic topics covered are image enhancement, image segmentation, image compression, motion analysis, object recognition, image...

The book constitutes the refereed proceedings of the International Workshop on Algebraic Frames for the Perception-Action Cycle, AFPAC '97, held in Kiel, Germany, in September 1997.
The volume presents 12 revised full papers carefully reviewed and selected for inclusion in the book. Also included are 10 full invited papers by leading researchers in the area providing a representative state-of-the-art assessment of this rapidly growing field. The papers are organized in topical sections on PAC systems, low level and early vision, recognition of visual structure, processing of 3D visual...

This volume is based on the Workshop on Evolutionary Computing held in Sheffield, U.K., in April 1995 under the sponsorship of the Society for the Study of Artificial Intelligence and Simulation of Behavior (AISB).
The 18 full papers presented were selected during a post-workshop refereeing meeting and chosen from 32 submissions for the workshop.
The papers are organized in sections on evolutionary computing theory and techniques, timetabling, routing and scheduling, optimization, signal processing and control, and genetic programming. The collection of papers has a certain bias towards...

Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.
Topics covered include: proof theory and specification of...

This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Job Scheduling Strategies for Parallel Processing, held in conjunction with IPPS '96 symposium in Honolulu, Hawaii, in April 1996.
The book presents 15 thoroughly revised full papers accepted for inclusion on the basis of the reports of at least five program committee members. The volume is a highly competent contribution to advancing the state-of-the-art in the area of job scheduling for parallel supercomputers. Among the topics addressed are job scheduler, workload evolution, gang...

This book constitutes the refereed proceedings of the 6th International Workshop on Discrete Geometry for Computer Imagery, DGCI'96, held in Lyon, France, in November 1996.
Computer imaging essentially depends on discrete models for coding, processing, recognition, representation, etc. The volume presents 24 revised full papers selected from 41 submissions together with 3 invited contributions and a tutorial paper, which bridges the gap between theory and practice. The issues addressed are topology, geometry, shape representation, 3D surfaces and volumes, models for discrete space, image...

The agents approach is not just another abstract computing paradigm, but has matured during recent years into a booming research area and software engineering technology which holds great promise for the design and application of complex distributed systems.
This book presents 12 revised full chapters grouped around 3 main topics in intelligent agent systems; agent architectures, formal theories of rationality and cooperation and collaboration. Among the topics addressed are software agents, BDI architectures, social commitment, believable agents and artificial life. The book is based on...

If the Internet is seen as a single, vast, programmable machine, what is the proper programming paradigm to facilitate development of the new applications it must offer? This survey deals with this question. The situation we face is similar to that in the 1960s, when a new hardware/software architecture was introduced and it took some time for the programming-language and operating-system specialists to come up with the proper programming paradigms. Now we have the paradigm of mobile computing, where computations are not bound to single locations but may move around at will to best use the...

This book constitutes the refereed proceedings of the 10th European Conference on Object-Oriented Programming, ECOOP '96, held in Linz, Austria, in July 1996.
The 21 full papers included in revised version were selected from a total of 173 submissions, based on technical quality and originality criteria. The papers reflect the most advanced issues in the field of object-oriented programming and cover a wide range of current topics, including applications, programming languages, implementation, specification, distribution, databases, and design.