The use of the Motorola DSP56000/DSP56001 for solving real-time digital control problems is discussed, particularly regarding the implementation of general control algorithms such as PID controllers and notch filters.
Today, the mission of Microsoft Research is to accelerate scientific discovery and technology advancement to empower every person and organization on the planet to achieve more. We do this by bringing together the best minds across diverse disciplines and background to take on the most…
It is widely claimed that functional languages are particularly suitable for programming parallel computers. A claimed advantage is that the programmer is not burdened with details of task creation, placement, scheduling, and synchronisation, these decisions being taken by the system instead. Leaving aside the question…
This work describes a new generation of expert systemsācalled normative expert systems. These systems have the potential to provide better decision support than do traditional expert systems in domains where the accurate management of uncertainty is important. This potential for improvement arises because people, including…
II. Evaluation of Diagnostic Performance We have developed a probabilistic reformulation of the Quick Medical Reference (QMR) system. In Part I of this two-part series, we described a two-level, multiply connected belief-network representation of the QMR knowledge base and a simulation algorithm to perform probabilistic…
Our results, together with some previously known ones, shed light on the organization of the complexity hierarchy that exists when incremental-computation problems are classiļ¬ed according to their incremental complexity with respect to locally persistent algorithms. In particular, these results separate the classes of P-time incremental…
The use of the Motorola DSP56000/DSP56001 for solving real-time digital control problems is discussed, particularly regarding the implementation of general control algorithms such as PID controllers and notch filters
This paper discuses multiple Bayesian networks representation paradigms for encoding asymmetric independence assertions. We offer three contributions: (1) an inference mechanism that makes explicit use of asymmetric independence to speed up computations, (2) a simplified definition of similarity networks and extensions of their theory, and…
Reflectance models based on physical optics and geometrical optics are studied. Specifically, the authors consider the Beckmann-Spizzichino (physical optics) model and the Torrance-Sparrow (geometrical optics) model. These two models were chosen because they have been reported to fit experimental data well. Each model is described…
The author presents techniques for performing computations of very high accuracy using only straightforward floating-point arithmetic operations of limited precision. The validity of these techniques is proved under very general hypotheses satisfied by most implementations of floating-point arithmetic. To illustrate the applications of these techniques,…
We explain and advance Levin's theory of average case complexity. In particular, we exhibit the second natural average-case-complete problem and prove that deterministic reductions are inadequate.
GRIP is a shared-memory multiprocessor designed for efficient parallel evaluation of functional languages, using compiled graph reduction. This paper investigates the feasibility of processing persistent data on GRIP, and presents results obtained from a pilot implementation. A database implemented in a pure functional language must…
