On behalf of the program committee, it is our pleasure to present to you the proceedings of the Fifth Symposium on Recent Advances in Intrusion Detection (RAID).
This book constitutes the refereed proceeding of the 6th International Conference on Coordination Models and Languages, COORDINATION 2004, held in Pisa, Italy in February 2004.
This book constitutes the refereed proceedings of the International Workshop on Human-Computer Interaction, HCI 2004, held at ECCV 2004 in Prague, Czech Republic in May 2004.
Thesetransactions publish research in computer-based methods of computationalcollective intelligence (CCI) and their applications in a wide range of fieldssuch as the semantic Web, social networks, and multi-agent systems.
The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution.
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough setsand other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence.
This monograph presents key method to successfully manage the growing complexity of systems where conventional engineering and scientific methodologies and technologies based on learning and adaptability come to their limits and new ways are nowadays required.
The goal of the project is to provide the polish scientific community with an IT platform based on grid computer clusters, enabling e-science research in various fields.
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 multi-agent systems.
Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science.
Processing multimedia content has emerged as a key area for the application of machine learning techniques, where the objectives are to provide insight into the domain from which the data is drawn, and to organize that data and improve the performance of the processes manipulating it.
As well as conveying a message in words and sounds, the speech signal carries information about the speaker's own anatomy, physiology, linguistic experience and mental state.
A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even James King's 1969 thesis on "e;A program verifier.
The need to evaluate computer and communication systems performance and dependability is continuously growing as a consequence of both the increasing complexity of systems and the user requirements in terms of timing behaviour.
This book constitutes the refereed proceedings of the First International Conference on Discovery Science, DS'98, held in Fukuoka, Japan, in December 1998.
Computer Vision has now reached a level of maturity that allows us not only to perform research on individual methods but also to build fully integrated computer vision systems of a signi cant complexity.
These proceedings contain papers presented at the 8th Discrete Geometry for Computer Imagery conference, held 17-19, March 1999 at ESIEE, Marne-la- Vall ee.
This book constitutes the refereed proceedings of the 5th International Computer Science Conference, ICSC'99, held in Hong Kong, China, in December 1999.
Hybrid neural systems are computational systems which are based mainly on artificial neural networks and allow for symbolic interpretation or interaction with symbolic components.
The objective of the workshops associated with ER 2001, the 20th International Con- rence on Conceptual Modeling, was to give participants the opportunity to present and discuss emerging hot topics, thus adding new perspectives to conceptual modeling.
This book presents a selection of revised full papers accepted for presentation at the First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000, held in Montpellier, France, in May 2000.
This volume contains the proceedings of FroCoS 2002, the 4th International Workshop on Frontiers of Combining Systems, held April 8-10, 2002 in Santa Margherita Ligure (near Genova), Italy.
This book constitutes the refereed proceedings of the Second International Conference Diagrams 2002, held in Callaway Gardens, Georgia, USA, in April 2002.
This book constitutes the refereed proceedings of the 5th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2001, held in Hong Kong, China in April 2001.
This volume contains the proceedings of the ACM SIGPLAN Workshop on L- guages, Compilers, and Tools for Embedded Systems (LCTES 2000), held June 18, 2000, in Vancouver, Canada.
This book constitutes the refereed proceedings of the 4th International Conference on E-Commerce 2003, held in Prague, Czech Republic in September 2003.
