Computer science

Peer-to-peer systems are now widely used and have become the focus of attention for many researchers over the past decade.

These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multiagent systems.

This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday.

The 14th issue of the Transactions on Computational Science journal contains nine papers, all revised and extended versions of papers presented at the International Symposium on Voronoi Diagrams 2010, held in Quebec City, Canada, in June 2010.

FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks.

The Hybrid Deliberative Layer (HDL) solves the problem that an intelligent agent faces in dealing with a large amount of information which may or may not be useful in generating a plan to achieve a goal.

One common characteristics of a complex system is its ability to withstand major disturbances and the capacity to rebuild itself.

This volume contains the key contributions to workshops and meetings that were held within the context of the PRELUDE project.

This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of edutainment, such as game-based learning and serious games, interactive storytelling, virtual learning environments, VR-based education, and related fields.

This volume presents the revised lecture notes of selected talks given at the Third Central European Functional Programming School, CEFP 2009, held in May 2009 in Komarno, Slovakia.

Welcome to the second volume of Transactions on Computational Collective Intel- gence (TCCI), a new journal devoted to research in computer-based methods of c- putational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multi-agent systems.

Natural language generation (NLG) is a subfield of natural language processing (NLP) that is often characterized as the study of automatically converting non-linguistic representations (e.

Since the mid 1990s, data hiding has been proposed as an enabling technology for securing multimedia communication, and is now used in various applications including broadcast monitoring, movie fingerprinting, steganography, video indexing and retrieval, and image authentication.

The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics.

During recent years a great deal of progress has been made in performance modelling and evaluation of the Internet, towards the convergence of multi-service networks of diverging technologies, supported by internetworking and the evolution of diverse access and switching technologies.

Brain Dynamics serves to introduce graduate students and nonspecialists from various backgrounds to the field of mathematical and computational neurosciences.

Since the 1980s, software agents and multi-agent systems have grown into what is now one of the most active areas of research and development activity in computing generally.

Information extraction (IE) is a new technology enabling relevant content to be extracted from textual information available electronically.

This comprehensive state-of-the-art book is the first devoted to the important and timely issue of evaluating NLP systems.

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Principles of Digital Document Processing, PODDP'98, held in Saint Malo, France, in March 1998.

ETAPS'99 is the second instance of the EuropeanJoint Conferences on T- ory and Practice of Software.

This book constitutes the refereed proceedings of the Third International Conference on Visual Information Systems, VISUAL'99, held in Amsterdam, The Netherlands, in June 1999.

Java, undoubtedly, has its roots in embedded systems and the Web.

This book constitutes the refereed proceedings of the Third International Workshop on Cooperative Information Systems, CIA'99, held in Uppsala, Sweden in July/August 1999.

Integer Optimization addresses a wide spectrum of practically important optimization problems and represents a major challenge for algorithmics.

This book constitutes the refereed proceedings of the 12th International Symposium on Fundamentals of Computation Theory, FCT '99, held in Iasi, Romania in August/September 1999.

In the first part, this book analyzes the knowledge discovery process in order to understand the relations between knowledge discovery steps and focusing.

This book constitutes the refereed proceedings of the Third European Conference on Principles and Practice of Knowledge Discovery in Databases, PKDD'99, held in Prague, Czech Republic in September 1999.

This volume constitutes the refereed proceedings of the Second International Conference on Scale-Space Theories in Computer Vision, Scale-Space'99, held in Corfu, Greece, in September 1999.

For the second time, the European Software Engineering Conference is being held jointly with the ACM SIGSOFT Symposium on the Foundations of Software Engine- ing (FSE).

With all of the news about the Internet and the Y2K problem, it is easy to forget that other areas of computer science still exist.

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.

This book constitutes the refereed proceedings of the Second International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems, AH 2002, held in Malaga, Spain, in May 2002.

For the ?

Computational Science is the scientific discipline that aims at the development and understanding of new computational methods and techniques to model and simulate complex systems.

This book comprises revised full versions of lectures given during the 9th European Summer School in Logic, Languages, and Information, ESSLLI'97, held in Aix-en-Provence, France, in August 1997.

In defining the state of the art of E-Government, EGOV 2002 was aimed at breaking new ground in the development of innovative solutions in this impor- tant field of the emerging Information Society.

This book presents papers describing selected projects on the topic of data mining in fields like e commerce, medicine, and knowledge management.

This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held in Catania, Italy in September 2002.