Stefan Brands proposes cryptographic building blocks for the design of digital certificates that preserve privacy without sacrificing security.As paper-based communication and transaction mechanisms are replaced by automated ones, traditional forms of security such as photograph…
Stefan Brands proposes cryptographic building blocks for the design of digital certificates that preserve privacy without sacrificing security. As paper-based communication and transaction mechanisms are replaced by automated ones, traditional forms of security such as photograp…
State-of-the-art research on MRFs, successful MRF applications, and advanced topics for future study.
"In The Government Machine Jon Agar traces the mechanization of government work in the United Kingdom from the nineteenth to the early twenty-first century. He argues that this transformation has been tied to the rise of "expert movements," groups whose authority has rested on t…
This text offers a simple model of reasoning about reason as a framework for its discussions. Following this framework, the contributors consider meta-level control of computational activities, introspective monitoring, distributed meta-reasoning, and, putting all these aspects …
"Speed-independent circuits offer a potential solution to the timing problems of VLSI. In this book David Dill develops and implements a theory for practical automatic verification of these control circuits. He describes a formal model of circuit operation, defines the proper re…
"Randomization is an important tool in the design of algorithms, and the ability of randomization to provide enhanced power is a major research topic in complexity theory. Noam Nisan continues the investigation into the power of randomization and the relationships between random…
"The Rapid Evaluation of Potential Fields in Particle Systems presents a group of algorithms for the computation of the potential and force fields in large-scale systems of particles that are likely to revolutionize a whole class of computer applications in science and engineeri…
Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimum…
"High-performance message-based supercomputers have only recently emerged from the research laboratory. The commercial manufacturing of such products as the Intel iPSC, the Ametek s/14, the NCUBE/ten, and the FPS T Series - all based on multicomputer network technology - has spa…
Along with text and graphics, images are fast becoming a generic data type for general-purpose computer systems. This poses new problems for the systems designer, who must be able to preprocess digital image data for a wide variety of video and hard copy displays. Digital halfto…
"The thirteen chapters written expressly for this book by logicians, theoretical computer scientists, philosophers, and semanticists address, from the perspective of mathematical logic, the problems of understanding and studying the flow of information through any information-pr…
A novel algorithmic approach to mechanism design based on a geometric representation of kinematic function called configuration space partitions. "This book presents the configuration space method for computer-aided design of mechanisms with changing part contacts. Configuratio…
The definitive presentation of Soar, one AI's most enduring architectures, offering comprehensive descriptions of fundamental aspects and new components.
"Computer systems consisting of many machines will be the norm within a few years. However, making a collection of machines appear as a single, coherent system - in which the location of files, servers, programs, or users is invisible to users who do not wish to know - is a very…
The field of VLSI (Very Large Scale Integration) is concerned with the design, production, and use of highly complex integrated circuits. The research collected here comes from many disciplines, including computer architecture, computer-aided design, parallel algorithms, semicon…
Advanced Database Techniques combines advanced techniques with practical advice and many new ideas, methods, and examples for database management students, system specialists, and programmers. It provides a wealth of technical information on database methods and an encyclopedic …
Productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. Its use of the PROLOG language provides an efficient implementation of the debugging algorithms.
The projection of light rays onto the retina of the eye forms a two-dimensional image, but through combining the stereoscopic aspect of vision with other optical clues by means of some remarkably effective image-processing procedures, the viewer is able to perceive three-dimensi…
Annotation