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