Universal Algebra
Universal Algebra, heralded as ". . . the standard reference in a field notorious for the lack of standardization . . .," ...
Lee mas
Universal Artificial Intelligence
This book presents sequential decision theory from a novel algorithmic information theory perspective. While the former is ...
Lee masUrban Operating Systems: Producing the Computational City
A new wave of enthusiasm for smart cities, urban data, and the Internet of Things has created the impression that computation ...
Lee mas
Usability and Internationalization. Global and Local User Interfaces
The papers cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use ...
Lee mas
Usability and Internationalization. HCI and Culture
These papers address the latest research and development efforts and highlight the human aspects of design and use of computing ...
Lee mas
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 ...
Lee mas
User Modeling 2005
The book offers topical sections on adaptive hypermedia, affective computing, data mining for personalization and cross-recommendation, ...
Lee mas
User Modeling 2007
This book constitutes the refereed proceedings of the 11th International Conference on User Modeling, UM 2007, held in Corfu, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
VR Technologies in Cultural Heritage
Tthis volume are organized in topical sections on data acquisition and modelling, visualization methods / audio, sensors ...
Lee mas
Validated Designs for Object-oriented Systems
This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic ...
Lee mas
Value-Based Software Engineering
VBSE extends the merely technical ISO software engineering definition with elements not only from economics, but also from ...
Lee mas
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 ...
Lee mas
Variable Domain-specific Software Languages with DjDSL
This book details the conceptual foundations, design and implementation of the domain-specific language (DSL) development ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
Variations on Constants
This monograph, a revised version of the author's habilitation thesis, focusses on optimal flow analysis of sequential and ...
Lee mas
