Artificial intelligence

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.

This book highlights the potential of getting benefits from various applications of computational intelligence techniques.

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.

Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information.

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.

The problem of integrating multiple information sources into a uni?

This volume contains all papers presented at SSPR 2002 and SPR 2002 hosted by the University of Windsor, Windsor, Ontario, Canada, August 6-9, 2002.

Long gone are the days when program veri?

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.

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.

Formal methods are coming of age.

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.

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 is based on the papers presented at the International Conference on Arti?

Computers arechanging the way wethink.

The 7th International Conference on Medical Imaging and Computer Assisted Intervention, MICCAI 2004, was held in Saint-Malo, Brittany, France at the "e;Palais du Grand Large"e; conference center, September 26-29, 2004.

Solving complex problems in real-world contexts, such as financial investment planning or mining large data collections, involves many different sub-tasks, each of which requires different techniques.

In most scenarios of the future a personalized virtual butler appears.

The Language of Mathematics was awarded the E.

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 state-of-the-art survey offers a renewed and refreshing focus on the progress in evolutionary computation, in neural networks, and in fuzzy systems.

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.

Conceptual modeling represents a recent approach to creating knowledge.

Intelligent agents will be the necessity of the coming century.

The importance of visual data mining, as a strong sub-discipline of data mining, had already been recognized in the beginning of the decade.

In recent years, autonomous robots, including Xavier, Martha [1], Rhino [2,3], Minerva,and Remote Agent, have shown impressive performance in long-term demonstrations.

by Roberto Cencioni At the Lisbon Summit in March 2000, European heads of state and government set a new goal for the European Union - to become the most competitive knowled- based society in the world by 2010.