Nowadays, engineering large-scale software systems means dealing with complex systems composed of pervasive software components that move around and adapt to nondeterministic and open environments, li
This book constitutes the refereed proceedings of the Second International Workshop on Experimental and Efficient Algorithms, WEA 2003, held in Ascona, Switzerland in May 2003.The 19 revised full pape
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
Biometric authentication refers to identifying an individual based on his or her distinguishing physiological and/or behavioral characteristics. It associates an individual with a previously determine
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
th DEXA 2001, the 12 International Conference on Database and Expert Systems Applications was held on September 3–5, 2001, at the Technical University of Munich, Germany. The rapidly growing spectrum
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
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
These are the pre-proceedings of CHES 2000, the second workshop on Cryp- graphicHardware andEmbedded Systems. The rst workshop, CHES’99, which was held at WPI in August 1999, was received quite enthus
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
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 volume contains a collection of selected papers presented at the Symposium on Conceptual Modeling, which was held in Los Angeles, California, on December 2, th 1997, immediately before the 16 Int
This volume presents the proceedings of the International Workshop on Database Issues for Data Visualization, held in conjunction with the IEEE Visualization '93 conference in San Jose, California in
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
This monograph is devoted to computational morphology, particularly to the construction of a two-dimensional or a three-dimensional closed object boundary through a set of points in arbitrary position
This text presents a comprehensive introduction to anextended Entity-Relationship model both on a conceptual andon a formal, mathematicallevel. In addition to theprimitives given by the data model t
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
