Artificial intelligence

The collation of large electronic databases of scienti?

This book deals with experience management in the context of real-world applicability and realistic applications.

Images or discrete objects, to be analyzed based on digital image data, need to be represented, analyzed, transformed, recovered etc.

This year we celebrated another anniversary: after 20 years of SAFECOMP in 1999, th this was the 20 SAFECOMP since its inauguration in 1979.

Communities are groupings of distributed objects that are capable of com- nicating, directly or indirectly, through the medium of a shared context.

Automata theory is the foundation of computer science.

Peer-to-peer (P2P) computing is currently attracting enormous public attention, spurred by the popularity of file-sharing systems such as Napster, Gnutella, and Morpheus.

This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003.

The increasing complexity of manufacturing systems as well as the overall demands for flexible and fault-tolerant control of production processes stimulates (among many others) two key emerging technologies that are already making an important breakthrough in the field of intelligent manufacturing, control, and diagnostics.

This book constitutes the refereed proceedings of the 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, held in Geneva, Switzerland in July 2000.

 This book constitutes the refereed proceedings of the joint International Conference on Artificial Neural Networks and International Conference on Neural Information Processing, ICANN/ICONIP 2003, held in Istanbul, Turkey, in June 2003.

This book constitutes the refereed proceedings of the 4th International Conference on Text, Speech and Dialogue, TSD 2001, held in Zelezna Ruda, Czech Republic in September 2001.

PRIMA 2000 was the third in the series of Paci c Rim International Workshops on Multi-Agents.

This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA).

The first evaluation campaign of the Cross-Language Evaluation Forum (CLEF) for European languages was held from January to September 2000.

Modelling with Words is an emerging modelling methodology closely related to the paradigm of Computing with Words introduced by Lotfi Zadeh.

The proceedings of ECML/PKDD2003 are published in two volumes: the P- ceedings of the 14th European Conference on Machine Learning (LNAI 2837) and the Proceedings of the 7th European Conference on Principles and Practice of Knowledge Discovery in Databases (LNAI 2838).

The result of four years of intensive research in a large multimodal dialogue project involving 12 partners from academia and industry, SmartKom is one of the most advanced multimodal dialogue systems worldwide and is a landmark project in the history of intelligent user interfaces.

This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3-5, 2003.

Nowadays, engineering large-scale software systems means dealing with complex systems composed of pervasive software components that move around and adapt to nondeterministic and open environments, like the Internet, in order to achieve systems design goals through the coordination of autonomously distributed services.

The best informal de?

SBIA, the Brazilian Symposium on Arti?

This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday.

Dealing with uncertainty, moving from ignorance to knowledge, is the focus of cognitive processes.

This volume contains the papers presented at the Second International and - terdisciplinary Conference on Modeling and Using Context (CONTEXT'99), held in Trento (Italy) from 9 to 11 September 1999.

This volume contains the papers selected for presentation at CEEMAS 2001.

th This volume contains the papers presented at the 13 International Conference on Knowledge Engineering and Knowledge Management (EKAW 2002) held in Sig enza, Spain, October 1-4, 2002.

The Evolution Arti?

In the last decade, we have seen tremendous successes in World Wide Web and Internet technologies.

The past few years have witnessed rapid scienti?

Computer Aided Systems Theory (CAST) deals with the task of contributing to the creation and implementation of tools for the support of usual CAD tools for design and simulation by formal mathematical or logical means in modeling.

This volume contains the papers selected for presentation at the 14th International Symposium on Methodologies for Intelligent Systems, ISMIS 2003, held in Maebashi City, Japan, 28-31 October, 2003.

The 2nd International Workshop on Biomedical Image Registration (WBIR) was held June 23-24, 2003, at the University of Pennsylvania, Philadelphia.

A central theme in the study of dynamic systems is the modelling and control of uncertain systems.