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 ...
Continue reading
Ubiquitous Communications and Network Computing
This book constitutes the refereed proceedings of the 4th International Conference on Ubiquitous Communications and Network ...
Continue reading
Ubiquitous Computing Systems (vol. # 4239)
This book constitutes the refereed proceedings of the proceedings of the 2006 International Symposium on Ubiquitous Computing ...
Continue reading
Ubiquitous Intelligence and Computing
This book is the refereed proceedings of the Third International Conference on Ubiquitous Intelligence and Computing, UIC ...
Continue reading
Ubiquitous Intelligence and Computing
This book constitutes the refereed proceedings of the 4th International Conference on Ubiquitous Intelligence and Computing ...
Continue reading
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 ...
Continue reading
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 ...
Continue readingUncertainty Theory
Uncertainty theory is a branch of mathematics based on normality, monotonicity, self-duality, and countable subadditivity ...
Continue readingUnderstanding 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 ...
Continue reading
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, ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Universal Artificial Intelligence
This book presents sequential decision theory from a novel algorithmic information theory perspective. While the former is ...
Continue reading
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 ...
Continue reading
Vector Semantics / András Kornai
Links the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
