Computer science

Physicalsystemswhichrightthemselvesafterbeingdisturbedevokeourcuriosity becausewe wantto understand howsuchsystemsareableto reactto unexpected stimuli.

Since 1993, PROPOR Workshops have become an important forum for re- archers involved in the Computational Processing of Portuguese, both written and spoken.

The importance of production and use of high quality software is still growing, as more and more businesses depend on information technology.

Context has emerged as a central concept in a variety of contemporary app- aches to reasoning.

We are pleased to present this collection of papers from the Second Workshop on Intelligent Memory Systems.

IP is clearly emerging as the networking paradigm for the integration of the tr- ?

The Fifth International Conference on Implementation and Application of - tomata (CIAA 2000) was held at the University of Western Ontario in London, Ontario, Canada on July 24-25, 2000.

Crypto 2001, the 21st Annual Crypto conference, was sponsored by the Int- national Association for Cryptologic Research (IACR) in cooperation with the IEEE Computer Society Technical Committee on Security and Privacy and the Computer Science Department of the University of California at Santa Barbara.

This volume contains the proceedings of two recent conferences in the ?

These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 24-28, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands.

UbiComp 2003, the 5th Annual Conference on Ubiquitous Computing, is the premier forum for presentation of research results in all areas relating to the - sign, implementation, deployment and evaluation of ubiquitous computing te- nologies.

The European Conference on Information Retrieval Research, now in its 25th "e;Silver Jubilee"e; edition, was initiallyestablished bythe Information Retrieval Specialist Group of the British Computer Society(BCS-IRSG) under the name "e;Annual Colloquium on Information Retrieval Research,"e; and was always held in the United Kingdom until 1997.

The Twelfth International Conference on Inductive Logic Programming was held in Sydney, Australia, July 9-11, 2002.

Biomolecular computing has emerged as an interdisciplinary ?

Welcome to the proceedings of the 2004 International Conference on Embedded and Ubiquitous Computing (EUC 2004) which was held in Aizu-Wakamatsu City, Japan, 25-27 August 2004.

A special mention for 2004 is in order for the new Doctoral Symposium Workshop where three young postdoc researchers organized an original setup and formula to bring PhD students together and allow them to submit their research proposals for selection.

Euro-Par Conference Series Euro-Par is an annual series of international conferences dedicated to the p- motion and advancement of all aspectsof parallelcomputing.

Thepapersinthisvolumewereselectedforpresentationatthe10thInternational Computing and Combinatorics Conference (COCOON 2004), held on August 17-20, 2004 in Jeju Island, Korea.

The natural mission of Computational Science is to tackle all sorts of human problems and to work out intelligent automata aimed at alleviating the b- den of working out suitable tools for solving complex problems.

The Asia-Paci?

Consider the problem of a robot (algorithm, learning mechanism) moving along the real line attempting to locate a particular point ?

Choquet capacities, which provide the weighting mechanism for the Choquet and other fuzzy integrals, model synergistic and antagonistic interactions between variables by assigning value to all subsets rather than individual inputs.

Das Buch illustriert die facettenreiche Komplexität der KI-Risiken.

Peer-to-peer(P2P)computingiscurrentlyattractingenormousmediaattention, spurred by the popularity of ?

Research on the multifaceted aspects of modeling, analysis, and synthesis of - man gesture is receiving growing interest from both the academic and industrial communities.

The continuous trend in computer science to lift programming to higher abstraction levels increases scalability and opens programming to a wider public.

This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, held in Bertinoro, Italy, in June 2011.

As software systems become increasingly ubiquitous, issues of dependability become ever more crucial.

This book celebratesthe 25th anniversaryof GULP-the Italian Associationfor LogicProgramming.

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.

Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from artificial intelligence and database systems to circuit design, network optimization, and theory of programming languages.

During the last few years, we have seen quite spectacular progress in the area of approximation algorithms: for several fundamental optimization problems we now actually know matching upper and lower bounds for their approximability.

This book constitutes the refereed proceedings of the First International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI'98, held in Cambridge, MA, USA, in October 1998.