User interface support software, such as UI toolkits, UIMSs, and interface builders, are currently too complex for undergraduates. Tools typically require a learning period of several weeks, which is impractical in a semester course. Most tools are also limited to a specific platform, usually either…
This paper reports on the first of a series of analyses aimed at comparing same room and video-mediated conversations for multiparty meetings. This study compared patterns of spontaneous speech for same room versus two videomediated conversations. One video system used a single camera, monitor and…
We present a data parallel algorithm for radiosity. The algorithm was designed to take advantage of large numbers of processors. It has been implemented on the Connection Machine CM2 system and scales linearly in the number of available processors over a wide range. All parts…
In a recent paper we developed a method which allows to rigorously control the fi nite-size behavior in long cylinders near fi rst-order phase transitions at low temperature
This note states and proves a TLA reduction theorem. See the discussion of [123]. Text versions of this and all other TLA notes are available here.
We address the problem of computing the three-dimensional motions of objects in a long sequence of stereo frames. Our approach is bottom-up and consists of two levels. The first level deals with the tracking of 3D tokens from frame to frame and the estimation of…
No abstract available.
The authors have assessed the possibility of modeling phone trajectories to accomplish speech recognition. This approach has been considered as one of the ways to model context-dependency in speech recognition based on the acoustic variability of phones in the current database. A hybrid segmental learning…
As automatic speech recognition systems are finding their way into practical applications it is becoming increasingly clear that they must be able to accommodate a variety of acoustical environments. This paper describes two algorithms that provide robustness for automatic speech recognition systems in a fashion…
This paper reports recent efforts to apply the speaker-independent SPHINX-II system to the DARPA Wall Street Journal continuous speech recognition task. In SPHINX-II, we incorporated additional dynamic and speaker-normalized features, replaced discrete models with sex-dependent semi-continuous hidden Markov models, augmented within-word triphones with between-word triphones,…
This apper gives a static semantics for a large subset of Haskell, including giving a translations into a language without overloading. It is our intention to cover the complete language in due course. One innovative aspect is the use of ideas from the second-order lambda…
Using a recently developed method to rigorously control the finite-size behaviour in long cylinders near first-order phase transitions, I calculate the finite-size scaling of the first q+1 eigenvalues of the transfer matrix of the q states Potts model in a d dimensional periodic box of…
