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
Valuation in Life Sciences
Valuation is a hot topic among life sciences professionals. There is no clear understanding on how to use the different valuation ...
Lee mas
Valuation in Life Sciences
This book recognizes that there is no consent on how to apply valuation methodologies in life sciences. One of the complicating ...
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
Vector Analysis for Computer Graphics
Vector Analysis for Computer Graphics provides a complete introduction to vector analysis, especially within the context ...
Lee mas
Vector Analysis for Computer Graphics
The book is divided into eleven chapters covering the history of vector analysis, linear equations, vector algebra, vector ...
Lee mas
Vector Semantics / András Kornai
Links the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning ...
Lee mas
Verbal and Nonverbal Communication Behaviours
This volume brings together the invited papers and selected participants’ contributions presented at the COST 2102 International ...
Lee mas
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 ...
Lee mas
Verification of Object-Oriented Software. The KeY Approach
features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
Lee mas
Verification, Model Checking, and Abstract Interpretation
This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...
Lee mas
