Electronic Books

Total Books: 3801 - 3820 /3928

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 ...

Total Books: 3801 - 3820 /3928