Bücher veröffentlicht von Springer Berlin Heidelberg

This book constitutes the refereed post-proceedings of the 9th International Conference on Principles of Distributed Systems, OPODIS 2005, held in Pisa, Italy in December 2005. The volume presents 30 revised full papers and abstracts of 2 invited talks. The papers are organized in topical sections on nonblocking synchronization, fault-tolerant broadcast and consensus, self-stabilizing systems, peer-to-peer systems and collaborative environments, sensor networks and mobile computing, security and verification, real-time systems, and peer-to-peer systems.

The 7th Paci?c Asia Conference on Knowledge Discovery and Data Mining (PAKDD) was held from April 30 to May 2, 2003 in the Convention and Ex- bition Center (COEX), Seoul, Korea. The PAKDD conference is a major forum for academic researchers and industry practitioners in the Paci?c Asia region to share original research results and development experiences from di?erent KDD-related areas such as data mining, data warehousing, machine learning, databases, statistics, knowledge acquisition and discovery, data visualization, and knowledge-based systems. The conference was organized by the Advanced Information Technology Research Center (AITrc) at KAIST and the Statistical Research Center for Complex Systems (SRCCS) at Seoul National University. It was sponsored by the Korean Datamining Society (KDMS), the Korea Inf- mation Science Society (KISS), the United States Air Force O?ce of Scienti?c Research, the Asian O?ce of Aerospace Research & Development, and KAIST. It was held with cooperation from ACM's Special Group on Knowledge Dis- very and Data Mining (SIGKDD).

This volume contains the papers presented at the 13th Annual Conference on Algorithmic Learning Theory (ALT 2002), which was held in Lub * eck (Germany) during November 24-26, 2002. The main objective of the conference was to p- vide an interdisciplinary forum discussing the theoretical foundations of machine learning as well as their relevance to practical applications. The conference was colocated with the Fifth International Conference on Discovery Science (DS 2002). The volume includes 26 technical contributions which were selected by the program committee from 49 submissions. It also contains the ALT 2002 invited talks presented by Susumu Hayashi (Kobe University, Japan) on "e;Mathematics Based on Learning"e;, by John Shawe-Taylor (Royal Holloway University of L- don, UK) on "e;On the Eigenspectrum of the Gram Matrix and Its Relationship to the Operator Eigenspectrum"e;, and by Ian H. Witten (University of Waikato, New Zealand) on "e;Learning Structure from Sequences, with Applications in a Digital Library"e; (joint invited talk with DS 2002). Furthermore, this volume - cludes abstracts of the invited talks for DS 2002 presented by Gerhard Widmer (Austrian Research Institute for Arti?cial Intelligence, Vienna) on "e;In Search of the Horowitz Factor: Interim Report on a Musical Discovery Project"e; and by Rudolf Kruse (University of Magdeburg, Germany) on "e;Data Mining with Graphical Models"e;. The complete versions of these papers are published in the DS 2002 proceedings (Lecture Notes in Arti?cial Intelligence, Vol. 2534). ALT has been awarding the E.

The biennial Brazilian Symposium on Arti?cial Intelligence (SBIA 2002) - of which this is the 16th event - is a meeting and discussion forum for arti?cial intelligence researchers and practitioners worldwide. SBIA is the leading c- ference in Brazil for the presentation of research and applications in arti?cial intelligence. The ?rst SBIA was held in 1984, and since 1995 it has been an international conference, with papers written in English and an international program committee, which this year was composed of 45 researchers from 13 countries. SBIA 2002 was held in conjunction with the VII Brazilian Symposium on Neural Networks (SBRN 2002). SBRN 2002 focuses on neural networks and on other models of computational intelligence. SBIA 2002, supported by the Brazilian Computer Society (SBC), was held in Porto de Galinhas/Recife, Brazil, 11-14 November 2002. The call for papers was very successful, resulting in 146 papers submitted from 18 countries. A total of 39 papers were accepted for publication in the proceedings. We would like to thank the SBIA 2002 sponsoring organizations, CNPq, Capes, and CESAR, and also all the authors who submitted papers. In particular, we would like to thank the program committee members and the additional referees for the di?cult task of reviewing and commenting on the submitted papers.

This book constitutes the refereed proceedings of the 5th Catalonian Conference on Artificial Intelligence, CCIA 2002, held in Castellon, Spain in October 2002.The 37 revised full papers presented were carefully reviewed and selected from 77 submissions. The papers are organized in topical sections on reasoning models, constraint satisfation, machine learning and classification, multi-agent systems, and computer vision and robotics.

th The 14 International Conference on Conceptual Structures (ICCS 2006) was held in Aalborg, Denmark during July 16 - 21, 2006. Responding to the Call for Papers, we received 62 papers from 20 different countries, representing six different continents. This clearly indicates the international nature of the ICCS community as well as the widespread interest which was spawned by the previous conferences. By a thorough review process, 24 papers were selected to be included in this volume. In addition, six invited speakers made contributions which can be found in the first section of this volume. The theme of ICCS 2006--Conceptual Structures: Inspiration and Application-- points to a dual focus of interest that is also reflected in the constellation of papers. From the beginning of the planning of this conference, we focused on inspirational sources that have led to the current state of research in our community, by tracing important historical influences which daily effect work in representing knowledge and in handling representations of conceptual structures. At the same time, we also focused on ways in which these legacies are employed to further advance theory and practice in the field of knowledge representation and processing. With this volume, we believe that a valuable contribution to both aspects of this field is being made. We wish to express our appreciation to all the authors of submitted papers, to the members of the Editorial Board and the Program Committee for all their work and valuable comments.

This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December 2004. Presents 10 revised full papers together with 5 invited papers contributed by outstanding researchers. Discusses core problems in measurement and normalization of non-functional properties, modular reasoning over non-functional properties, capture of component requirements in interfaces and protocols, interference and synergy of top-down and bottom-up aspects, and more.

This book constitutes the refereed proceedings of the 10th Scandinavian Workshop on Algorithm Theory, SWAT 2006, held in Riga, Latvia, in July 2006. The proceedings includes 36 revised full papers presented together with 3 invited papers, addressing issues of theoretical algorithmics and applications in various fields including graph algorithms, computational geometry, scheduling, approximation algorithms, network algorithms, data storage and manipulation, combinatorics, sorting, searching, online algorithms, optimization, amd more.

With contributions by numerous experts

Dedicated to the Memory of Christos Demetriou Papakyriakopoulos, 1914-1976