The construction of a 3D surface model of an object rotating in front of a camera is examined. Previous research in depth from motion has demonstrated the power of using an incremental approach to depth estimation. The author extends this approach to more general motion…
We consider a temperature driven first-order phase transition describing the coexistence of q ordered low-temperature phases and one disordered high-temperature phase at the in nite volume transition temperature T0. Analysing the exponential corrections to the usual heuristic formula of the periodic partition function in a box…
I. The Probabilistic Model and Inference Algorithms 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…
The presumed difficulty of computing discrete logarithms in finite fields is the basis of several popular public key cryptosystems. The secure identification option of the Sun Network File System, for example, uses discrete logarithms in a field GF(p) with p a prime of 192 bits.…
Using a program specializer, we automatically generated high-performance digital simulation algorithms from a simple interpreter-based simulator. By making simple changes in the simulator and the specializer, we generated four types of compiled simulations: the PC-set algorithm, an improvement on the PC-set algorithm, and two compiled…
In this paper we present several algorithms that increase the robustness of SPHINX, the CMU continuous-speech speaker-independent recognition system, by normalizing the acoustic space via minimization of the overall VQ distortion. We propose an affine transformation of the cepstrum in which a matrix multiplication performs…
An important step in many compilers for functional languages is lambda lifting. In this thesis, Hughes showed that by doing lambda lifting in a particular way, a useful property called full laziness can be preserved (Hughes [1983]). Full laziness has been seen as intertwined with…
VideoWhiteboard is a prototype tool to support remote shared drawing activity. It provides a whiteboard-sized shared drawing space for collaborators who are located in remote sites. It allows each user to see the drawings and a shadow of the gestures of collaborators at the remote…
We motivate, justify and survey the average case reduction theory.
The literature asynchronous logic design is mostly of a fairly theoretical nature. We present here a practical technique for generating asynchronous finite-state machines from a description of their states and transitions. The technique has been used successfully to design a number of state machines in…
Even using an authenticated synchronous broadcast model, the task of unforgeably time-stamping digital documents still presents some problems. It is simply not practical to assume that all participants will record and store everyone else's documents so that creation times can be verified. This paper presents…
