This book presents revised reviewed versions of lectures given during the Machine Learning Summer School held in Canberra, Australia, in February 2002.The lectures address the following key topics in
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, G
A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundati
TheAlgorithmicNumberTheorySymposiabeganin1994atCornellUniversity inIthaca,NewYorktorecognizethegrowingimportanceofalgorithmicwork in the theory of numbers. The subject of the conference is broadly con
This book constitutes the refereed proceedings of the 7th International Conference on Parallel Problem Solving from Nature,PPSN 2002, held in Granada, Spain in September 2002.The 90 revised full paper
This book constitutes the refereed proceedings of the 6th International Conference on Intelligent Tutoring Systems, ITS 2002, held in Biarritz, France, and San Sebastian, Spain, in June 2002The 93 rev
Although framework technology has proven its worth as a software reuse technique in many domains, there have been reservations regarding its application in embedded systems, mostly due to limited CPU
Data warehouses differ significantly from traditional transaction-oriented operational database applications. Indexing techniques and index structures applied in the transaction-oriented context are n
The ?rst International Summer School on Theoretical Aspects of Computer Science was organized by the Institute for Studies in Theoretical Physics and Mathematics(IPM)inTehran,Iran. ProgramCommittee Co
Haptic human-computer interaction is interaction between a human computer user and the computer user interface based on the powerful human sense of touch. Haptic hardware has been discussed and exploi
This book constitutes the refereed proceedings of the 17th International Conference on Information Processing in Medical Imaging, IPMI 2001, held in Davis, CA, USA, in June 2001.The 54 revised papers
LNCS volumes 2073 and 2074 contain the proceedings of the International Conference on Computational Science, ICCS 2001, held in San Francisco, California, May 27-31, 2001. The two volumes consist of m
Welcome to IWQoS2001 in Karlsruhe! Quality of Service is a very active research field, especially in the networking community. Research in this area has been going on for some time, with results getti
This book constitutes the refereed proceedings of the First International Conference on Multi-Criterion Optimization, EMO 2001, held in Zurich, Switzerland in March 2001.The 45 revised full papers pre
This book constitutes the strictly refereed post-workshop proceedings of the 5th International Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computing, LCR 2000, held in Rocheste
This book constitutes the refereed proceedings of the Third International Workshop on Recent Advances in Intrusion Detection, RAID 2000, held in Toulouse, France in October 2000.The 14 revised full pa
This book constitutes the refereed proceedings of the 6th International Conference on Parallel Problem Solving from Nature, PPSN VI, held in Paris, France in September 2000.The 87 revised full papers
On the way towards the Information Society, global networks such as the Internet, together with mobile computing, have made wide-area computing over virtual communities a reality. Digital city project
In 1992 we initiated a research project on large scale distributed computing systems (LSDCS). It was a collaborative project involving research institutes and universities in Bologna, Grenoble, Lausan
This book constitutes the refereed proceedings of the 9th International Conference on Database and Expert Systems Applications, DEXA'98, held in Vienna, Austria, in August 1998.The 81 revised full pap
This book constitutes the refereed proceedings of the International Conference on Evolutionary Computation held jointly with the 4th Conference on Parallel Problem Solving from Nature, PPSN IV, in Ber
This book constitutes the refereed proceedings of the ESPRIT Working Group CONTESSA Workshop on Constraint Databases and Applications, held in Friedrichshafen, Germany in September 1995.The 10 full re
This monograph is devoted to the problem of inferring geometric information about arbitrarily curved surfaces from visual cues; this is a central problem in computer vision with immediate relevance fo
Image sequence processing is becoming a tremendous tool toanalyze spatio-temporal data in all areas of naturalscience. It is the key to studythe dynamics of of complexscientific phenomena. Me
This book summarizes work done by the authors under theEsprit Tool Use project (1985-1990), at GMD in Karlsruhe andat Berlin University of Technology. It provides acomprehensive description of the gen
In this volume the author gives an introduction to the theory of group representations and their applications in image science. The main feature of the presentation is a systematic treatment of the in
Presents algebraic and geometric algorithms to deal with a specific problem, which frequently occurs in model-based robotics systems and is of utmost importance in calibrating the complexity of roboti
This book constitutes the proceedings of the 13th International Workshop on OpenMP, IWOMP 2017, held in Stony Brook, NY, USA, in September 2017. The 23 full papers presented in this volume were caref
This book constitutes the refereed proceedings of the 5th International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2014, held in Munich, Germany, in September 2014, in
This book constitutes the refereed proceedings of the 10th Extended Semantic Web Conference, ESWC 2013, held in Montpellier, France, in May 2013. The 42 revised full papers presented together with thr