Based on the 24th Seminar on Current Trends in Theory and Practice of Informatics, this volume presents 22 invited contributions by experts, together with 24 revised contributed papers selected from 63 submissions. The invited presentations are organized in topical sections on foundations, distributed and parallel computing, software engineering and methodology, and databases and information systems.

This tutorial survey brings together two lines of research and development, the interaction of which promises to have significant practical impact on the area of spatial information processing in the near future: geographic information systems (GIS) and geometric computation or, more particularly, geometric algorithms and spatial data structures. In nine uniformly structured chapters, the authors present a survey ranging from the history and basic characteristics to current issues of precision and robustness of geometric computing.

This volume presents 17 revised full papers and three invited full papers on discrete geometry for computer imagery. The contributions are organized in sections on 2D recognition, discrete shapes and planes, surfaces, topology, features, and from principles to applications.

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 book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998.
The 19 revised full papers presented in the book were carefully selected from a total of 44 submissions. Among the topics covered are formal specification, automata theory, term rewriting and rewriting systems, process algebras, formal language theory, type theory, event structures, and iteration...

Web engineering is a new discipline that addresses the pressing need for syst- atic and tool-supported approaches for the development, maintenance and te- ing of Web applications. Web engineering builds upon well-known and succe- ful software engineering principles and practices, adapting them to the special characteristics of Web applications. Even more relevant is the enrichment with methods and techniques stemming from related areas like hypertext authoring, human-computer interaction, content management, and usability engineering. The goal of the 4th International Conference on Web...

This book constitutes the thoroughly refereed revised post-workshop proceedings of the Second International Workshop on Implementing Automata, WIA'97, held in London, Ontario, Canada, in September 1997.
The book presents 21 revised full papers carefully reviewed and selected for inclusion in the book; also included is an introductory overview. The papers discuss issues involved in the implementation of automata of all types also covering aspects from areas such as natural language processing, pattern matching, speaker recognition, VLSI testing, etc. This book reflects the state-of-the-art...

is one of the most discussed themes in Supersymmetry modern particle there is no evidence for its in physics, although convincing existence yet nature. the andtheoretical ofthis Intriguedby uniqueness beauty symmetry, researchersinthe field areconfidentthat interest willcontinueinthe coming and even decades. In ofthemost recent fact, years many exciting develop ments inmathematical field and physics, quantum theory were stringtheory obtained the of using concepts supersymmetry. Stillthe most of resides inthe fascinatingaspect supersymmetry possibil that extendthe it celebratedstandardmodelof...

This coherently written book is the final report on the IPSEN project on Integrated Software Project Support Environments devoted to the integration of tools for the development and maintenance of large software systems.
The theoretical and application-oriented findings of this comprehensive project are presented in the following chapters: Overview: introduction, classification, and global approach; The outside perspective: tools, environments, their integration, and user interface; Internal conceptual modeling: graph grammar specifications; Realization: derivation of efficient tools,...

The 57 revised full papers presented were selected from a total of 117 submissions. Also included are four invited papers. Among the topics covered are intelligent information systems, approximate reasoning, evolutionary computation, knowledge representation and integration, and more.