User Interfaces for Wearable Computers : Development and Evaluation
It examines user interfaces for wearable computers and analyses the challenges imposed by the wearable computing paradigm ...
اقرأ المزيد
User Modeling 2005
The book offers topical sections on adaptive hypermedia, affective computing, data mining for personalization and cross-recommendation, ...
اقرأ المزيد
User Modeling 2007
This book constitutes the refereed proceedings of the 11th International Conference on User Modeling, UM 2007, held in Corfu, ...
اقرأ المزيد
Using the Borsuk-Ulam Theorem : Lectures on Topological Methods in Combinatorics and Geometry
Matousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...
اقرأ المزيد
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 ...
اقرأ المزيد
VR Technologies in Cultural Heritage
Tthis volume are organized in topical sections on data acquisition and modelling, visualization methods / audio, sensors ...
اقرأ المزيد
Validated Designs for Object-oriented Systems
This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic ...
اقرأ المزيد
Value-Based Software Engineering
VBSE extends the merely technical ISO software engineering definition with elements not only from economics, but also from ...
اقرأ المزيد
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities
The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
اقرأ المزيد
Variable Domain-specific Software Languages with DjDSL
This book details the conceptual foundations, design and implementation of the domain-specific language (DSL) development ...
اقرأ المزيد
Variable-length Codes for Data Compression
Most data compression methods that are based on variable-length codes employ the Huffman or Golomb codes. However, there ...
اقرأ المزيد
Variational, Geometric, and Level Set Methods in Computer Vision
Mathematical methods has been a dominant research path in computational vision leading to a number of areas like ?ltering, ...
اقرأ المزيد
Variations on Constants
This monograph, a revised version of the author's habilitation thesis, focusses on optimal flow analysis of sequential and ...
اقرأ المزيد
Vector Analysis for Computer Graphics
Vector Analysis for Computer Graphics provides a complete introduction to vector analysis, especially within the context ...
اقرأ المزيد
Vector Analysis for Computer Graphics
The book is divided into eleven chapters covering the history of vector analysis, linear equations, vector algebra, vector ...
اقرأ المزيد
Verbal and Nonverbal Communication Behaviours
This volume brings together the invited papers and selected participants’ contributions presented at the COST 2102 International ...
اقرأ المزيد
Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction : COST Action 2102 International Conference, Patras, Greece, October 29-31, 2007. Revised Papers
This book is organized in topical sections on static and dynamic processing of faces, facial expressions and gaze as well ...
اقرأ المزيد
Verification of Object-Oriented Software. The KeY Approach
features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
اقرأ المزيد
