Learn More
We present the migratory cursor, which is an interactive interface that enables users to move a cursor to any desired position quickly and accurately using voice alone. The migratory cursor combines discrete specification that allows a user to specify a location quickly, but approximately, with continuous specification that allows the user to specify a(More)
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme is not applicable, as the process being model checked would replay I/O operations when re-visiting a given state. Thus software model checking needs to encapsulate such operations(More)
We present a scalable visualization technique for automatic animation of data-flow visual program execution. We also show a framework to assist programmers' browsing tasks by automatically producing the views of execution that highlight significant aspects of the program. The techniques described in this paper are based on the visual design patterns (VDPs)(More)
This paper proposes a technique for generating more comprehensible animations from discussions, which are often hard to follow, in USENET. This technique consists of two steps. In the first step, our prototype system generates a scenario from articles in a news thread using the quote relationship. In the second step, it generates an animation based on the(More)
Multi-focus distortion-oriented views are useful in viewinglarge information on a small screen, but still have problems inmanaging multiple foci during editing. The user may have tonavigate information space by focusing and defocusing multipleparts to obtain multi-focus layouts that change according tovarious editing situations. As a result, it becomes(More)
We develop an interactive Braille-recognition system using a portable camera for visually impaired persons who cannot read Braille. Our system helps them to find and then push a desired button, as is necessary when using an elevator or a ticket vending machine, for example. It is natural to think that the information provided, in Braille, with specific(More)