This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification ...
Continue readingThis book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification ...
Continue readingThe book concludes with a discussion of the significance of social understanding and methods in the context of Interdisciplinary ...
Continue readingThis book cover a wide range of topics from a technology to a business perspective and include among others hardware, software ...
Continue readingThis engaging volume celebrates the life and work of Theodor Holm “Ted” Nelson, a pioneer and legendary figure from the ...
Continue readingThis book constitutes the thoroughly refereed post-proceedings of the 2004 International Workshop on Intuitive Human Interfaces ...
Continue readingThe authors see mapping software as a set of visual tools for reading and writing in a networked age. In an information ocean, ...
Continue readingThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue readingThis book provides for the first time a general overview of research activities related to location and map-based services. ...
Continue readingThis book provides a comprehensive coverage of the most important machine learning techniques used and their application ...
Continue readingThis book constitutes the refereed post-conference proceedings of the 7th International Workshop on Machine Learning and ...
Continue readingThis book constitutes the refereed proceedings of the 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain ...
Continue readinghis book contains a selection of refereed papers presented at the 1st Wo- shop on Machine Learning for Multimodal Interaction ...
Continue readingThis book contains a selection of revised papers from the 4th Workshop on Machine Learning for Multimodal Interaction (MLMI ...
Continue readingThe 12 revised full papers and 15 revised poster papers presented together with 5 papers of a special session on user requirements ...
Continue readingDivided into three parts - theory, method and implementation, this book starts with a summary of the state-of-the-art in ...
Continue readingIt addresses methods and techniques for topics that range from design and rendering, context modelling, personalisation, ...
Continue readingDivided into three parts, ‘Quality in Software’ looks at how using development tools can enhance usability of a system, ...
Continue readingThe book is divided into three parts: core technologies for mobile information systems (e.g., adaptive middleware and flexible ...
Continue readingThis book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...
Continue reading