Session types provide static guarantees that concurrent programs respect communication protocols. We give a novel account of recursive session types in the context of GV, a small concurrent extension of the linear λ-calculus. We extend GV with recursive types and catamorphisms, following the initial algebra semantics of recursion, and show that doing so naturally gives rise to recursive session...

This paper describes an interactive presentation that introduces the Talking Heads website, which was originally proposed at the AVSP'97 meeting in Rhodes, Greece. Talking Heads is an effort to bring together information from a wide range of sources. The site provides interactive access to multimodal material in both its original form and as summarized by us. In addition, the authors have provi...

It is very important to capture distant-talking speech with high quality for teleconferencing systems or voice-controlled systems. For this purpose, microphone array steering and Fourier spectral subtraction, for example, are ideal candidates. A combination technique using both microphone array steering and Fourier spectral subtraction has also been proposed to improve performance. However, it ...

Principal components analysis has been studied by the computer vision community as a source of features for recognition of faces, objects and scenes [1, 2]. The use of the dominant principal components as ”holistic” features for recognition has provided new insights into view invariant and illumination invariant recognition. Unfortunately, applications in object recognition generally require pr...

In this research, we model and analyze the vocal tract under normal and stressful talking conditions. This research answers the question of the degradation in the recognition performance of textdependent speaker identification under stressful talking conditions. This research can be used (for future research) to improve the recognition performance under stressful talking conditions.

Creative metaphor is a phenomenon that stretches and bends the conventions of semantic description, often to humorous and poetic extremes. The computational modeling of metaphor thus requires a knowledge representation that is just as stretchable and semantically accommodating. We present here a flexible knowledge representation for metaphor interpretation and generation, called Talking Points,...

The rapid development of in-car communication systems in recent years has created problematic human interface challenges. Modern human-computer interfaces are integrated into car's communication systems to make its functionality easily accessible. This paper presents a realistic talking head, which enables a user interface with multi-modality. A talking head in human-car interfaces allows a mor...

Speaker identification systems perform well under the neutral talking condition; however, they suffer sharp degradation under the shouted talking condition. In this paper, the second-order hidden Markov models (HMM2s) have been used to improve the recognition performance of isolated-word text-dependent speaker identification systems under the shouted talking condition. Our results show that HMM...

The Filibuster text-to-speech system is specifically designed and developed for the production of digital talking textbooks at university level for students with print impairments. Currently, the system has one Swedish voice, 'Folke', which has been used in production at the Swedish Library of Talking Books and Braille (TPB) since 2007. In August 2008 the development of a Norwegian voice (bokmå...

In broadcast speech, there are different speaking styles among different TV or radio programs. It is known that news announcing is a very distinctive style; it's quite distinct from others, e.g. talking style. What is the difference between news announcing style and talking style? In this study, we reports our studies on comparison of two speaking styles based on broadcast speech corpus, which ...