A framework for quality-adaptive media streaming--encode once, stream anywhere

Operating system support for low-latency streaming

High resolution voice transformation

A framework for representing non-stationary data with mixtures of linear models

Value recursion in monadic computations

Punctuated data streams

Knowledge discovery for time series

High-Level Abstractions for Low-Level Programming

Exploiting deferred destruction an analysis of read-copy-update techniques in operating system kernels

Augmenting environments with multimodal interaction

The role of type equality in meta-programming

Modeling prosodic differences for speaker and language recognition

The Uni-Level Description: A Uniform Framework for Managing Structural Heterogeneity