Skip navigation

Theory of Computation

  • Page 4 of 4
  •  

Today's computers must perform with increasing reliability, which in turn depends on the problem of determining whether a circuit has been manufactured properly or behaves correctly. However, the greater circuit density of VLSI circuits and systems has made testing more difficult and costly.

HEP Supercomputer and Its Applications

As the contributions to this book make clear, a fundamental change is taking place in the study of computational linguistics analogous to that which has taken place in the study of computer vision over the past few years and indicative of trends that are likely to affect future work in artificial intelligence generally.

Expert Problem Solving, Natural Language Understanding and Intelligent Computer Coaches, Representation and Learning

The broad range of material included in these volumes suggests to the newcomer the nature of the field of artificial intelligence, while those with some background in AI will appreciate the detailed coverage of the work being done at MIT. The results presented are related to the underlying methodology. Each chapter is introduced by a short note outlining the scope of the problem begin taken up or placing it in its historical context.

The mathematical operation of quantization exists in many communication and control systems. The increasing demand on existing digital facilities, such as communication channels and data storage, can be alleviated by representing the same amount of information with fewer bits at the expense of more sophisticated data processing. In Estimation and Control with Quantized Measurements, Dr. Curry examines the two distinct but related problems of state variable estimation and control when the measurements are quantized.

  • Page 4 of 4
  •