Bücher der Reihe The Springer International Series in Engineering and Computer Science

Co-Synthesis of Hardware and Software for Digital Embedded Systems, with a Foreword written by Giovanni De Micheli, presents techniques that are useful in building complex embedded systems.

Based on ideas from Support Vector Machines (SVMs), this title presents an approach to generating text classifiers from examples. This book gives a detailed description of the SVM approach to learning text classifiers, including training algorithms, transductive text classification, and, efficient performance estimation.

Layout synthesis, logic synthesis, and specialized datapath generators make it feasible to quickly imple ment a register-transfer design in silicon,leaving designers more time to consider architectural improvements.

Instruction-Level Parallelism presents a collection of papers that attempts to capture the most significant work that took place during the 1980s in the area of instruction-level (ILP) parallel processing.

Explorations in Automatic Thesaurus Discovery presents an automated method for creating a first-draft thesaurus from raw text.

In addition to these standard systems, we see an explosion of technical alternatives for meeting the demand for wireless communications. To discuss these issues, Rutgers University WINLAB plays host to a series of Workshops on Third Generation Wireless Information Networks.

The term speech processing refers to the scientific discipline concerned with the analysis and processing of speech signals for getting the best benefit in various practical scenarios.

Then, we give a survey of current motion estimation search algorithms, including the exhaustive search and a number of fast search algorithms. The complexity of the DCUPS algorithm is comparable to other popular motion estimation techniques, however the algorithm shows superior results in terms of compression ratios and video qUality.

Only two decades ago most electronic circuits were designed with a slide-rule, and the designs were verified using breadboard techniques. Today a wide range of tools exist for analYSiS, deSign, and verification, and expert systems and synthesis tools are rapidly emerging.

This useful reference is about CMOS circuit design for sensor and actuators to be used in wireless RF systems. It places special focus on the power and data link in a wireless system with transducers powered via the RF link, presenting novel principles and methods.

A Formal Approach to Hardware Design discusses designing computations to be realised by application specific hardware. It introduces a formal design approach based on a high-level design language called Synchronized Transitions.

In earlier forewords to the books in this series on Discrete Event Dynamic Systems (DEDS), we have dwelt on the pervasive nature of DEDS in our human-made world. As it is well known to students of simulation, the heart of the random event simulation is the uniform random number generator.

Software Synthesis from Dataflow Graphs addresses the problem of generating efficient software implementations from applications specified as synchronous dataflow graphs for programmable digital signal processors (DSPs) used in embedded real- time systems.

Adaptive Resonance Theory Microchips describes circuit strategies resulting in efficient and functional adaptive resonance theory (ART) hardware systems.

The need for more deep and extensive characterization of MOSFET param eters has further increased as the applications of this device have gained ground in many new fields in which its performance has become more and more sensi tive to the properties of its Si - Si0 interface.

Circuit simulation is widely used for the design of circuits, both discrete and integrated. Understanding device modeling with particular emphasis on circuit simulation will be helpful in utilizing the built-in models more efficiently as well as in implementing new models.

Describes a fresh technique in video coding and transmission. This title also covers H.263 standard. It is of interest to researchers and students in the field of video coding and transmission.

Multimedia Database Management Systems presents the issues and the techniques used in building multimedia database management systems. Multimedia Database Management Systems can be used as a text for graduate students and researchers working in the area of multimedia databases.

Protocol verification is a process of checking whether the interactions of protocol entities, according to the protocol specification, do indeed satisfy certain properties or conditions which may be either general (e.g., absence of deadlock) or specific to the particular protocol system directly derived from the specification.

Fault Covering Problems in Reconfigurable VLSI Systems describes the authors' recent research on reconfiguration problems for fault-tolerance in VLSI and WSI Systems. Efficient algorithms are given for tractable covering problems and general techniques are given for dealing with a large number of intractable covering problems.

Especially analog VLSI circuits in standard digital technologies open the way for the implement at ion of massively parallel analog signal processing systems for sensory signal processing applications and for perception tasks.

Parsing Efficiency is crucial when building practical natural language systems. This book introduces a context-free parsing algorithm that parses natural language more efficiently than any other existing parsing algorithms in practice.

Captures advances in motion compensation for efficient video compression. This book investigates linearly combined motion compensated signals, and generalizes the well known superposition for bidirectional prediction in B-pictures. It discusses the number of superimposed signals and reference picture selection.

The falling cost of both communication and of mobile computing devices (laptop computers, hand-held computers, etc. The nature of wireless communication media and the mobility of computers combine to create fundamentally new problems in networking, operating systems, and information systems.

Covers a variety of topics in automatic control, including: stabilization of distributed parameter systems, disturbance attenuation in stochastic systems, and more. This book contains chapters that present practical results in automatic control and highlight interpretations and developments of some issues in the field.

The subject of this book is predictive modular neural networks and their ap plication to time series problems: classification, prediction and identification.

The two primary functions of data compression are: Storage: The capacity of a storage device can be effectively increased with data compression software or hardware that compresses a body of data on its way to the storage device and decompress it when it is retrieved.

The observations made by the different sensors of a multi-sensor system are always uncertain, usually partial, occasionally spuri9us or incorrect and often geographically or geometrically imcomparable with other sensor views.