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

Knowledge discovery (KDD) and Data Mining (DM) is a new, multidisciplinary field that focuses on the overall process of information discovery from large volumes of data.

Artificial Intelligence is entering the mainstream of com­ puter applications and as techniques are developed and integrated into a wide variety of areas they are beginning to tax the pro­ cessing power of conventional architectures. To meet this demand, specialized architectures providing support for the unique features of symbolic processing languages are emerging. The goal of the research presented here is to show that an archi­ tecture specialized for Prolog can achieve a ten-fold improve­ ment in performance over conventional, general-purpose architec­ tures. This book presents such an architecture for high perfor­ mance execution of Prolog programs. The architecture is based on the abstract machine descrip­ tion introduced by David H.D. Warren known as the Warren Abstract Machine (W AM). The execution model of the W AM is described and extended to provide a complete Instruction Set Architecture (lSA) for Prolog known as the PLM. This ISA is then realized in a microarchitecture and finally in a hardware design. The work described here represents one of the first efforts to implement the W AM model in hardware. The approach taken is that of direct implementation of the high level WAM instruction set in hardware resulting in a elSe style archi­ tecture.

High-Performance Digital VLSI Circuit Design is the first book devoted entirely to the design of digital high-performance VLSI circuits. High-Performance Digital VLSI Circuit Design is a self-contained text, introducing the subject of high-performance VLSI circuit design and explaining the speed/power tradeoffs.

Data mining is an interdisciplinary area involving databases, machine learning, pattern recognition, statistics, visualization and others. Decision support focuses on developing systems to help decision-makers solve problems. This book presents a conceptual framework, and the methods and tools for integrating the two disciplines.

Multimedia surveillance systems is an emerging field that includes signal and image processing, communications, and computer vision.

In 1982 the author joined a research group that was applying bounding techniques to simple VLSI timing analysis models. Acknowledgments 'me author would like to acknowledge many helpful discussions and much support from his research group at MIT, including Lance Glasser, John Wyatt, Jr.

A collection of contributions from world-renowned experts in coding theory, information theory, and signal processing, the book provides a broad perspective on contemporary research in these areas. Specific topics covered include convolutional codes and turbo codes;

When the 50th anniversary of the birth of Information Theory was celebrated at the 1998 IEEE International Symposium on Informa tion Theory in Boston, there was a great deal of reflection on the the year 1993 as a critical year.

Large computational resources are of ever increasing importance for the simulation of semiconductor processes, devices and integrated circuits. The Workshop on Computational Electronics was intended to be a forum for the dis cussion of the state-of-the-art of device simulation.

When it comes to frameworks, the familiar story of the elephant and the six blind philosophers seems to apply. xiv CAD Frameworks: Integration Technology for CAD As the authors of this book note, framework design is an optimi zation problem.

Focuses attention on some specific developments in the theory and applications of finite fields. This book studies topics such as the different methods of representing the elements of a finite field, algorithms for factoring polynomials over finite fields and methods for constructing irreducible polynomials.

With the increasing market penetration of cellular telephones, the number of E-911 calls placed by cellular telephones has grown cons- erably. Phase II, to be completed by October 1, 2001, is much more stringent and requires that the location of an E-911 caller be determined and reported with an rms location accuracy of 125 m in 67% of the cases.

Presents a range of topics in wireless communications, including perspectives from both industry and academia. This book serves as a reflection of technologies in wireless communications. It includes tutorial on the Bluetooth technology.

This useful monograph presents a total of seven prototypes: two double-sampled S/H circuits, a time-interleaved ADC, an IF-sampling self-calibrated pipelined ADC, a current steering DAC with a deglitcher, and two pipelined ADCs employing the SO techniques.

Three factors combine to determine the performance of an FPGA: the quality of the CAD tools used to map circuits into the FPGA, the quality of the FPGA architecture, and the electrical (i.e.

Since only half the chip area would have redundancy, I was concerned that the increase in yield would not outweigh the increased costs of testing and redundancy programming. I wanted a simulator that would allow me to evaluate the yield of arbitrary redundant layouts, hence I termed such a simulator a layout or yield simulator.

The purpose of Error-Control Coding for Data Networks is to provide an accessible and comprehensive overview of the fundamental techniques and practical applications of the error-control coding needed by students and engineers.

Explains the principles and the physics of SOI materials fabrication and characterization, SOI processing SOI MOSFET device physics, and the use of SOI material in novel device design. The performances of SOI circuits for VLSI/ULSI and for niche applications are also described.

The development and use of accurate reliability simulation tools are therefore crucial for early assessment and improvement of circuit reliability : Once the long-term reliability of the circuit is estimated through simulation, the results can be compared with predetermined reliability specifications or limits.

Modeling with an Analog Hardware Description Language spells out, in general terms, what modeling with an analog hardware description language (AHDL) adds to the existing field of computer simulation, using specific examples to develop this understanding.

This book describes the theory and design of high-accuracy CMOS smart temperature sensors. This led to* the development of integrated temperature sensors that combine a bipolar temperature sensor and an A-to-D converter on the same chip.

High Performance Computing Systems and Applications contains the fully refereed papers from the 13th Annual Symposium on High Performance Computing, held in Kingston, Canada, in June 1999.

This volume contains the proceedings of a workshop on Analog Integrated Neural Systems held May 8, 1989, in connection with the International Symposium on Circuits and Systems.

2 Input Encoding Targeting Two-Level Logic . 3 Satisfying Encoding Constraints . 3 Row-Based Constraint Satisfaction . 4 Constraint Satisfaction Using Dichotomies . 3 Heuristics to Minimize the Number of Encoding Bits . 3 Dominance and Disjunctive Relationships to S- isfy Constraints .

We view model-based navigation as a process of tracking naturally occurring environment features, which we refer to as "targets". Targets that have been predicted from the environment map are tracked to provide that are observed, but not predicted, vehicle position estimates.

The work presented in this text relates to research work in the general area of adaptive filter theory and practice which has been carried out at the Department of Electrical Engineering, University of Edinburgh since 1977.

The need for automatic speech recognition systems to be robust with respect to changes in their acoustical environment has become more widely appreciated in recent years, as more systems are finding their way into practical applications.

Long design times, a high development cost for a low production volume, the lack of silicon designers and the lack of suited design facilities are inherent difficulties to manual full-custom chip design. The gap between system design and silicon design can only be bridged by new design (CAD).

Feedback-Based Orthogonal Digital Filters: Theory, Applications, and Implementation develops the theory of a feedback-based orthogonal digital filter and examines several applications where the filter topology leads to a simple and efficient solution.