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