2742 search results - page 428 / 549 » Deriving Category Theory from Type Theory |
IUI
2003
ACM
14 years 2 months ago
2003
ACM
This work explores the use of ambient displays in the context of interruption. A multimodal interface was created to communicate with users by using two ambient channels for inter...
KCAP
2003
ACM
14 years 2 months ago
2003
ACM
In this paper we describe a generic library of problemsolving methods (PSMs) for scheduling applications. Although, some attempts have been made in the past at developing librarie...
MM
2003
ACM
14 years 2 months ago
2003
ACM
We present MuSA.RT, Opus 1, a multimodal interactive system for music analysis and visualization using the Spiral Array model. Real-time MIDI input from a live performance is proc...
SC
2003
ACM
14 years 2 months ago
2003
ACM
We report on a model of the distribution of job submission interarrival times in supercomputers. Interarrival times are modeled as a consequence of a complicated set of decisions ...
SIGDOC
2003
ACM
14 years 2 months ago
2003
ACM
In this paper, we introduce an analysis of the requirements and design choices for hands-free documentation. Hands-busy tasks such as cooking or car repair may require substantial...