Electronic Books

Total Books: 1261 - 1280 /1299

Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...

Ubiquitous Communications and Network Computing

This book constitutes the refereed proceedings of the 4th International Conference on Ubiquitous Communications and Network ...

Ubiquitous Computing Systems (vol. # 4239)

This book constitutes the refereed proceedings of the proceedings of the 2006 International Symposium on Ubiquitous Computing ...

Ubiquitous Intelligence and Computing

This book is the refereed proceedings of the Third International Conference on Ubiquitous Intelligence and Computing, UIC ...

Ubiquitous Intelligence and Computing

This book constitutes the refereed proceedings of the 4th International Conference on Ubiquitous Intelligence and Computing ...

Ubiquitous Intelligence and Computing : 5th International Conference, UIC 2008, Oslo, Norway, June 23-25, 2008 Proceedings

The book includes ubiquitous computing, smart spaces/environments/services, context-aware services and applications, intelligent ...

Uncertainty Reasoning for the Semantic Web I : ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers

The present volume represents the first comprehensive compilation of state-of-the-art research approaches to uncertainty ...

Uncertainty Theory

Uncertainty theory is a branch of mathematics based on normality, monotonicity, self-duality, and countable subadditivity ...

Understanding Artificial Intelligence : Fundamentals and Applications / Albert Chun-Chen Liu, Oscar Ming Kin Law, Iain Law

Describes how the new artificial intelligence technology, neural network, totally changes our everyday life. It first describes ...

Understanding Planning Tasks : Domain Complexity and Heuristic Decomposition

Action planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...

Unifying Perspectives in Computational and Robot Vision

The field of computer vision has developed significantly over the last several years and the application areas span a broad ...

Unifying Themes in Complex Systems IV : Proceedings of the Fourth International Conference on Complex Systems

In June of 2002, over 500 professors, students and researchers met in Boston, Massachusetts for the Fourth International ...

Universal Access in Ambient Intelligence Environments

This volume contains the proceedings of the last ERCIM “User Interfaces for All” Workshop. The work of the ERCIM WG UI4ALL ...

Universal Access in Human-Computer Interaction. Ambient Interaction

This volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human-Computer ...

Universal Access in Human-Computer Interaction. Applications and Services

This volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human Computer ...

Universal Artificial Intelligence

This book presents sequential decision theory from a novel algorithmic information theory perspective. While the former is ...

VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search

This monograph presents a complete computational system for visual attention and object detection: VOCUS (Visual Object detection ...

Vector Semantics / András Kornai

Links the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning ...

Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...

Virtual Reality and Augmented Reality : 17th EuroVR International Conference, EuroVR 2020, Valencia, Spain, November 25–27, 2020, Proceedings

This book constitutes the refereed proceedings of the 17th International Conference on Virtual Reality and Augmented Reality, ...

Total Books: 1261 - 1280 /1299