Wyniki wyszukiwania:

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The...

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

Presents essays on such topics as three-dimensional object representation by array grammars, stochastic puzzle grammars, parallel recognition of high dimensional images, two-dimensional uniquely parsable isometric array grammars, and replicated image algorithms and their analyses on SIMD machines.

This volume contains the papers selected for presentation at the Second International Conference on Parallel Image analysis (ICPIA '92), held in Ube, Japan, December 21-23, 1992. The conference topics are data structures, parallel algorithms and architectures, neural networks, computational vision, syntactic generation and recognition, and multidimensional models. The first meeting with these topics was the International Colloquium on Parallel Image Processing, which took place in Paris in June 1991. The aim of the meetings is to bring together specialists from various countries who are...