Every AI system needs to interact with humans and AI is affecting nearly every human engagement with digital technology from simple word processors to autonomous vehicles. This book explores these rich human aspects of AI: how AI can help in user experience (UX) design and how effective user interfaces can help AI.The term artificial intelligence has become inescapable in news and product adverts – some is mere hype, but some is transforming the way we live, work and see ourselves ...

An authoritative and accessible one-stop resource, the first edition of An Introduction to Artificial Intelligence presented one of the first comprehensive examinations of AI. Designed to provide an understanding of the foundations of artificial intelligence, it examined the central computational techniques employed by AI, including knowledge representation, search, reasoning and learning, as well as the principal application domains of expert systems, natural language, vision, ro...

Digital technology is fundamentally altering the world we live in, but can only be truly understood in relation to the physical world we all inhabit. The most successful future products and policies will be those that take this rich digital/physical ecology seriously. The physical world is increasingly filled with digital products to the extent that the boundaries of digital and physical reality become blurred. From mundane devices such as mobile phones and washing machines, to esoteric re...

This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems.World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive discussion of the current state-of-the-art with case studies which highlight relevant scen...

Many people find statistics confusing, and perhaps even more confusing given recent publicity about problems with traditional p-values and alternative statistical techniques including confidence intervals and Bayesian statistics. This book aims to help readers navigate this morass: to understand the debates, to be able to read and assess other people's statistical reports, and make appropriate choices when designing and analysing their own experiments, empirical studies, a...

This comprehensive text/reference examines in depth the synergy between multimedia content analysis, personalization, and next-generation networking. The book demonstrates how this integration can result in robust, personalized services that provide users with an improved multimedia-centric quality of experience. Each chapter offers a practical step-by-step walkthrough for a variety of concepts, components and technologies relating to the development of applications and services. Topics an...

This book provides a cross-disciplinary reference to speech in mobile and pervasive environmentsSpeech in Mobile and Pervasive Environments addresses the issues related to speech processing on resource-constrained mobile devices. These include speech recognition in noisy environments, specialised hardware for speech recognition and synthesis, the use of context to enhance recognition and user experience, and the emerging software standards required for interoperability. Th...

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner.Growing out of more than a decade of award-winning collaborative work within the European Research Co...

Web services and Service-Oriented Computing (SOC) have become thriving areas of academic research, joint university/industry research projects, and novel IT products on the market. SOC is the computing paradigm that uses Web services as building blocks for the engineering of composite, distributed applications out of the reusable application logic encapsulated by Web services. Web services could be considered the best-known and most standardized technology in use today for distributed comp...

Cyberspace in increasingly important to people in their everyday lives for purchasing goods on the Internet, to energy supply increasingly managed remotely using Internet protocols. Unfortunately, this dependence makes us susceptible to attacks from nation states, terrorists, criminals and hactivists. Therefore, we need a better understanding of cyberspace, for which patterns, which are predictable regularities, may help to detect, understand and respond to incidents better. The inspiratio...

Build, implement and scale distributed deep learning models for large-scale datasets Key FeaturesGet to grips with the deep learning concepts and set up Hadoop to put them to useImplement and parallelize deep learning models on Hadoop’s YARN frameworkA comprehensive tutorial to distributed deep learning with HadoopBook DescriptionThis book will teach you how to deploy large-scale dataset in deep neural networks with Hadoop fo...

This edited book presents scientific results of the 15th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2016) which was held on June 26– 29 in Okayama, Japan. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Resea...