This paper describes the StorySpinner system, a sculptural hypertext reader used as a test bed for experimenting with the authoring of narrative flow in automatically generated st...
The overall purpose of this article is partly to give a brief overview of the TangO conceptual model, partly to explore the Jini technology as a means for support of pervasive syst...
With the widespread availability of multimedia sensors, increased computational power, and bandwidth, a new paradigm is emerging – converting real world events into multimedia e...
ConTexts is an implementation of and proposed design model for an adaptable hypermedia system. ConTexts provides an easy yet powerful way to author the interactive, adaptable effec...
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
Stuart F. Allen, Robert L. Constable, Richard Eato...