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 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 Artificial Intelligence
This book presents sequential decision theory from a novel algorithmic information theory perspective. While the former is ...
اقرأ المزيد
VLSI-SOC: From Systems to Chips
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
VLSI-SoC: Research Trends in VLSI and Systems on Chip : Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2006), October 16-18, 2006, Nice, France
The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
اقرأ المزيد
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, ...
اقرأ المزيد
Virtual Systems and Multimedia : 13th International Conference, VSMM 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers
Virtual Heritage, Applied Technologies and Virtual Environments. With a truly international flavor, these sub-themes covered ...
اقرأ المزيدVirtual, Distributed and Flexible Organisations
Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. ...
اقرأ المزيد
Vlsi-Soc: From Systems To Silicon
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيدVoice controlled robotic arm / AlMouthana Alshoufani , Nuriddin Audeh , Mohammad shahrour , Andrey mokhammad and Ahmad Salamoun ; supervised by Tarek Barhoum and Mohammad Almasry المثنى الشوفاني ، نور الدين عودة ، محمد شحرور ، اندريه عدنان محمد و احمد سلمون ؛ إشراف طارق برهوم و محمد المصري
The study presents an innovative voice-controlled prosthetic hand for amputees below the elbow to retrieve some of the hand ...
اقرأ المزيد
