The International Conference on Asian Digital Libraries (ICADL) is an annual international forum that provides opportunities for librarians, researchers and experts to exchange their research results, innovative ideas, service experiences and state-ofthe-art developments in the field of digital libraries. Building on the success of the first six ICADL conferences, the 7th ICADL conference hosted by the Shanghai Jiao Tong University and the Shanghai Library in Shanghai, China aimed to further strengthen the academic collaboration and strategic alliance in the Asia- Pacific Region in the development of digital libraries.

This book constitutes the refereed proceedings of the 20th Annual Conference on Learning Theory, COLT 2007, held in San Diego, CA, USA in June 2007.
The 41 revised full papers presented together with 5 articles on open problems and 2 invited lectures were carefully reviewed and selected from a total of 92 submissions. The papers cover a wide range of topics and are organized in topical sections on unsupervised, semisupervised and active learning, statistical learning theory, inductive inference, regularized learning, kernel methods, SVM, online and reinforcement learning, learning algorithms and limitations on learning, dimensionality reduction, other approaches, and open problems.

Computer-Aided Design of User Interfaces IV gathers the latest research of experts, research teams and leading organisations involved in computer-aided design of user interactive applications supported by software, with specific attention for platform-independent user interfaces and context-sensitive or aware applications. This includes: innovative model-based and agent-based approaches, code-generators, model editors, task animators, translators, checkers, advice-giving systems and systems for graphical and multimodal user interfaces. It also addresses User Interface Description Languages. This books attempts to emphasize the software tool support for designing user interfaces and their underlying languages and methods, beyond traditional development environments offered by the market. It will be of interest to software development practitioners and researchers whose work involves human-computer interaction, design of user interfaces, frameworks for computer-aided design, formal and semi-formal methods, web services and multimedia systems, interactive applications, and graphical user and multi-user interfaces.

This book - in conjunction with the two volumes LNCS 4681 and LNAI 4682 - constitutes the refereed proceedings of the Third International Conference on Intelligent Computing, ICIC 2007, held in Qingdao, China in August 2007.
The intelligent computing technology includes a range of techniques such as artificial intelligence, perceptual and pattern recognition, evolutionary and adaptive computing, informatics theories and applications, computational neuroscience and bioscience, soft computing, case based and constrained reasoning, agents, networking and computer supported co-operative working, human computer interface issues.
ICIC theme unifies the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications.

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Cryptographic Hardware and Embedded Systems, CHES 2002, held in Redwood Shores, California, USA in August 2002. The 41 revised full papers presented together with two invited contributions were carefully selected from 101 submissions during two rounds of reviewing and revision. The papers are organized in topical sections on attack strategies, finite field and modular arithmetic, elliptic curve cryptography, AES and AES candidates, tamper resistance, RSA implementation, random number generation, new primitives, hardware for cryptanalysis.
These are the proceedings of CHES 2002, the FourthWorkshop on Cryptographic Hardware and Embedded Systems. After the first two CHES Workshops held in Massachusetts, and the third held in Europe, this is the first Workshop on the West Coast of the United States. There was a record number of submissions this year and in response the technical program was extended to 3 days.

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Algorithm Engineering, WAE 2000, held in Saarbrücken, Germany in September 2000. The 19 revised full papers presented together with one invited paper were carefully reviewed and selected from a total of 30 submissions. Among the topics addressed are software repositories allowing for the use and experimentation with efficient discrete algorithms; novel uses of discrete algorithms; methodological issues on algorithms and data structures; and methodological issues on converting user requirements into efficient algorithmic and implementation solutions.

This volume deals with the simulation of metamorphic and tectonic microstrucutres in rocks with a special emphasis on the modeling package 'Elle'. The first part provides a review of the problems and opportunities in the modeling of microstructures, followed by an introduction to various numerical modelling techniques. In the second part examples of the modeling of different processes which alter rock microstructure are presented, beginning with individual processes and progressing to modeling multiple coupled processes. The accompanying CD not only enables readers to carry out these simulations themselves and but also helps them to design their own simulations.

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 for robot manipulation and navigation. The author develops computational theories and techniques relating visual information arising from viewer movements to the differential geometry of visible surfaces. The theories developed have been implemented and tested using a real-time tracking system based on deformable contours. Applications of the techniques to geometric modelling, obstacle avoidance, navigation, and object manipulation are presented.

This book constitutes the refereed joint proceedings of seven workshops on evolutionary computing, EvoWorkshops 2007, held in Valencia, Spain in April 2007. The 55 revised full papers and 24 revised short papers presented were carefully reviewed and selected from a total of 160 submissions. In accordance with the seven workshops covered, the papers are organized in topical sections on evolutionary computation in communications, networks, and connected systems, evolutionary computation in finance and economics, evolutionary computation in image analysis and signal processing, interactive evolution and humanized computational intelligence, evolutionary music and art, evolutionary algorithms in stochastic and dynamic environments, as well as evolutionary computation in transportation and logistics.

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design, TAMODIA 2006, held in Hasselt, Belgium in October 2006. The 23 revised full papers presented together with 1 invited paper were carefully reviewed and selected from numerous submissions for inclusion in the book. The workshop focused on different forms of models, diagrammatic and formal notations, and analytic frameworks used to understand human tasks and activities with computers and technology. The papers are organized in topical sections on tool support, model-based interface development, user interface patterns, bridging the gap: driven by models, task-centered design, multi-modal user interfaces, reflections on tasks and activities in modeling, as well as context and plasticity.

This volume contains the final proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2006), held in Akademgorodok (Novosibirsk, Russia), June 27-30, 2006. The conference was held to honour the 75th anniversary of a member of the Russian Academy of Sciences Andrei Ershov (1931–1988) and his outstanding contributions towards advancing informatics. The role of Andrei Ershov in the establishment and development of the theory of programming and systems programming in our country cannot be overestimated. Andrei was one of the founders of the Siberian Computer Science School. He guided and took active part in the development of the programming system ALPHA and the multilanguage system BETA, and authored some of the most remarkable results in the theory of programming. Andrei is justly considered one of the founders of the theory of mixed computation. In 1974 he was nominated as Distinguished Fellow of the British Computer Society. In 1981 he received the Silver Core Award for services rendered to IFIP. Andrei Ershov’s brilliant speeches were always in the focus of public attention. Especially notable were his lectures “Aesthetic and Human Factor in Programming” and “Programming—The Second Literacy.” He was not only an extremely gifted scientist, teacher and fighter for his ideas, but also a bright and many-sided personality. He wrote poetry, translated the works of R. Kipling and other English poets, and enjoyed playing guitar and singing. Everyone who had the pleasure of knowing Andrei Ershov and working with him will always remember his great vision, eminent achievements and generous friendship. Another aim of the conference was to provide a forum for the presentation and in-depth discussion of advanced research directions in computer science. For a developing science, it is important to work out consolidating ideas, concepts and models. Movement in this direction was a further goal of the conference.

This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, colocated with POPL 2007, the Symposium on Principles of Programming Languages. The 19 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 58 submissions. All current aspects of declarative programming are addressed including implementational issues and innovative applications in areas such as database management, software engineering, functional logic, decision support systems, constraint programming, model checking, probabilistic programming, Java and Prolog programming.

Hybrid learning originated from North America in 2000 and is an ongoing trend. It is not merely a simple combination of direct teaching and eLearning, but comprises different learning strategies and important elements for teaching and learning. It focuses on student center learning and provides an environment for knowledge learning. Students are given more opportunities to be active learners and practice practical skills such as communication, collaboration, critical thinking, creativity, self-management, self-study, problem solving, analysis and numeracy.

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006. The 19 revised full papers presented together with 1 keynote paper, and 2 working group reports were carefully reviewed and selected from 57 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on HCI research, critical systems, model based development, cognitive aspects of interaction, use of models, haptics and multimodality, prototyping and evaluation, supporting user interface development, and group discussions.

This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Empirical Software Engineering, held in Dagstuhl Castle, Germany in June 2006. The purpose of this workshop was to identify the progress of empirical software engineering since 1992, to summarize the state-of-the-art in ESE, to summarize the state-of-the-practice in ESE in industry, and to develop an ESE roadmap for research, practice, education and training. The 54 revised full papers in this state-of-the-art survey were carefully reviewed and selected from the presentations during the workshop, that provided a forum for a small but representative group of leading experts in software engineering with an emphasis on empirical studies from both universities and industry to meet and reflect on past successes and failures, assess the current state of the practice and research, identify challenges, and define future directions. The papers are organized in topical sections on the empirical paradigm, measurement and model building, technology transfer and education, as well as roadmapping.