The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Lee masThis book constitutes the refereed proceedings of the 4th International Conference on Ubiquitous Communications and Network ...
Lee masThis book constitutes the refereed proceedings of the proceedings of the 2006 International Symposium on Ubiquitous Computing ...
Lee masThis book is the refereed proceedings of the Third International Conference on Ubiquitous Intelligence and Computing, UIC ...
Lee masThis book constitutes the refereed proceedings of the 4th International Conference on Ubiquitous Intelligence and Computing ...
Lee masThe book includes ubiquitous computing, smart spaces/environments/services, context-aware services and applications, intelligent ...
Lee masThe present volume represents the first comprehensive compilation of state-of-the-art research approaches to uncertainty ...
Lee masUncertainty theory is a branch of mathematics based on normality, monotonicity, self-duality, and countable subadditivity ...
Lee masDescribes how the new artificial intelligence technology, neural network, totally changes our everyday life. It first describes ...
Lee masAction planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...
Lee masThe field of computer vision has developed significantly over the last several years and the application areas span a broad ...
Lee masIn June of 2002, over 500 professors, students and researchers met in Boston, Massachusetts for the Fourth International ...
Lee masThis volume contains the proceedings of the last ERCIM “User Interfaces for All” Workshop. The work of the ERCIM WG UI4ALL ...
Lee masThis volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human-Computer ...
Lee masThis volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human Computer ...
Lee masThis book presents sequential decision theory from a novel algorithmic information theory perspective. While the former is ...
Lee masThis monograph presents a complete computational system for visual attention and object detection: VOCUS (Visual Object detection ...
Lee masLinks the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning ...
Lee masThe book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...
Lee masThis book constitutes the refereed proceedings of the 17th International Conference on Virtual Reality and Augmented Reality, ...
Lee mas