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 ...
Weiterlesen
Ubiquitous Communications and Network Computing
This book constitutes the refereed proceedings of the 4th International Conference on Ubiquitous Communications and Network ...
Weiterlesen
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 ...
Weiterlesen
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 ...
WeiterlesenUncertainty Theory
Uncertainty theory is a branch of mathematics based on normality, monotonicity, self-duality, and countable subadditivity ...
WeiterlesenUnderstanding 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 ...
Weiterlesen
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, ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Universal Artificial Intelligence
This book presents sequential decision theory from a novel algorithmic information theory perspective. While the former is ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Vector Semantics / András Kornai
Links the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning ...
Weiterlesen
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 ...
Weiterlesen
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, ...
Weiterlesen
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 ...
WeiterlesenVirtual, Distributed and Flexible Organisations
Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. ...
Weiterlesen
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 ...
WeiterlesenVoice 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 ...
Weiterlesen
