12348986
Dynamic Digital Library Construction and Configuration
This paper describes a digital library architecture and implementation that is configurable, extensible and dynamic in the way it presents content and in the services it provides. The design manifests itself as a network of modules that communicate in terms of XML messages. All modules characterize the functionality they implement in response to a “describe yourself” message, and can transform messages using XSLT to support different levels of configurability. Traditional library values such as backwards compatibility and multiplatform operation are combined with the ability to add new collections and services adaptively. The paper describes the new design and shows how it can be used to build four different digital library systems. We conclude by showing how the design fits existing interoperability frameworks.
39264003
HyperAT: HCI and Web Authoring
We review HCI problems with hypertext, and for authoring World Wide Web documents in particular. We suggest that a framework is required to understand the usability issues, and that these issues cannot be seen as psychological or computing: they are multi-disciplinary. We discuss HyperAT, a protorype authoring tool, being implemented to test these ideas.
3300534
Improving mobile internet usability
Mobile internet technologies, such as WAP, are important for pervasive, anytime, anywhere computing. Although much progress has been made in terms of technological innovation, many of mobile internet systems are difficult to use, lack flexibility and robustness. They give a poor user experience. Evaluation and theoretical analysis of usability combined with innovative design can achieve significant improvements in user performance and satisfaction. Using such multidisciplinary methods explains the negative reactions to WAP, and — more constructively — suggest ways of developing more effective and efficient devices and services.
3325969
Improving web search on small screen devices
Abstract Small handheld devices—mobile phones, Pocket PCs etc.—are increasingly being used to access the web. Search engines are the most used web services and are an important factor of user support. Search engine providers have begun to offer their services on the small screen. This paper presents a detailed evaluation of the how easy to use such services are in these new contexts. An experiment was carried out to compare users' abilities to complete search tasks using a mobile phone-sized, handheld computer-sized and conventional, desktop interface to the full Google™ index. With all three interfaces, when users succeed in completing a task, they do so quickly (within 2–3 min) and using few interactions with the search engine. When they fail, though, they fail badly. The paper examines the causes of failures in small screen searching and proposes guidelines for improving these interfaces. In addition, we present and discuss novel interaction schemes that put these guidelines into practice.
42586645
The music is the message
the music being played by her tiny mobile audio appliance. She's standing waiting for a train. Other commuters swarm nearby, headphones on, listening in more muted ways to the soundtracks they've chosen to accompany today's episode of their daily routine. Mobile music players—iPods, Walkmans and the like—are exciting for those of us involved in thinking about the future of mobile devices and services. Like the mobile phone—increasing numbers of which also sport a music player—these are gadgets that people actually desire, and aspire to own. They have vast storage capacities, increasingly sophisticated processors and pleasing, effective mechanisms for users to control their func-tionality. From click and jog wheels to high-resolution color displays, these players are far from being the impoverished devices that typified mobile platforms just a few years ago. And there are hundreds of millions of them in circulation—Apple sold five million in the first quarter of 2006 alone. But at the same time, these marvelous mobiles could be seen as an obstacle to the bright futures dreamt up in the research labs. How will people be able to make use of the ubiquitous computing infrastructure being envisaged, the anytime, everywhere access to information and services, when they are immersed in digital sound bubbles of their own choosing? Some mobile listeners, at first sight, certainly appear cut off. Another scene: A young man stares out of a train window, watching the long green fields flash by. His eyes are bright but still; his gaze betrays a mood of deep reflection. Listening to music on expensive , noise-reducing headphones, what is he thinking? Is he sadly contemplating a lover left or anticipating a longed-for meeting at his destination? How can we design mobile services that will fit this context? The conventional clumsy beeps, vibrations, and attention-seeking displays seem out of place. What opportunities are there to build more emphatic systems , systems to enhance the music and environmental experience or to provide ways for the listener to later reflect on the situations they've lived through in relation to the music they've heard? At other times, though, these sound bubbles seem more permeable, don't they? One of the photos of people listening to music available on a popular image-sharing site is entitled " Listening to Kim's iPod and talking to Joe! " A teenager holds a mobile phone to her left ear while wearing the distinctive white music-player headphones. Chatting and …
9543196
Children as Design Partners and Testers for a Children's Digital Library
Most of today's digital libraries (DLs) are not designed for children. To produce usable and useful DLs, designers need to ensure that good design features are incorporated, taking into consideration users' needs. We describe our experience working with children as design partners and testers in building a children's DL of stories and poems for 11-14 year olds, using a concrete example to demonstrate our design philosophy and research approach, The study provides insights on useful design features children's DLs should have, and their importance to children. The initial work we have done highlights issues and provides a basis for the building of usable and useful digital libraries for children.
22331464
Vector-City Vector Distance Transform
This paper will examine the current chamfer and vector distance transforms for encoding objects as distance fields. A new vector distance transform is introduced which uses the city-block chamfer distance transform as a basis. Detailed error analysis using real CT data is presented, demonstrating the improved accuracy of the new approach over existing methods. The production of a subvoxel accurate distance field is also demonstrated by employing an improved classification. Distance fields are shown for skull and chess piece datasets.
32525185
Don't Emancipate, Exaggerate: Rhetoric, Reality and Reengineering
1424753
Monad transformers and modular interpreters
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many commonly known features, including simple expressions, three different function call mechanisms (call-by-name, call-by-value and lazy evaluation), references and assignment, nondeterminism, first-class continuations, and program tracing.
The underlying mechanism of our system is monad transformers, a simple form of abstraction for introducing a wide range of computational behaviors, such as state, I/O, continuations, and exceptions.
Our work is significant in the following respects. First, we have succeeded in designing a fully modular interpreter based on monad transformers that incudes features missing from Steele's, Espinosa's, and Wadler's earlier efforts. Second, we have found new ways to lift monad operations through monad transformers, in particular difficult cases not achieved in Moggi's original work. Third, we have demonstrated that interactions between features are reflected in liftings and that semantics can be changed by reordering monad transformers. Finally, we have implemented our interpreter in Gofer, whose constructor classes provide just the added power over Haskell's type classes to allow precise and convenient expression of our ideas. This implementation includes a method for constructing extensible unions and a form of subtyping that is interesting in its own right.
6541426
Wikifying your interface: facilitating community-based interface translation
We explore the application of a wiki-based technology and style of interaction to enabling the incremental translation of a collaborative application into a number of different languages, including variant English language interfaces better suited to the needs of particular user communities. The development work allows us to explore in more detail the design space of functionality and interfaces relating to tailoring, customization, personalization and localization, and the challenges of designing to support ongoing incremental contributions by members of different use communities.
12155836
Using parameterized signatures to express modular structure
Module systems are a powerful, practical tool for managing the complexity of large software systems. Previous attempts to formulate a type-theoretic foundation for modular programming have been based on existential, dependent, or manifest types. These approaches can be distinguished by their use of different quantifiers to package the operations that a module exports together with appropriate implementation types. In each case, the underlying type theory is simple and elegant, but significant and sometimes complex extensions are needed to account for features that are important in practical systems, such as separate compilation and propagation of type information between modules.This paper presents a simple type-theoretic framework for modular programming using parameterized signatures. The use of quantifiers is treated as a necessary, but independent concern. Using familiar concepts of polymorphism, the resulting module system is easy to understand and admits true separate compilation. It is also very powerful, supporting high-order, polymorphic, and first-class modules without further extension.