Learn More
We investigated the distribution of the high-affinity neurotrophin receptors TrkA, TrkB, and TrkC in a wide range of normal non-neuronal tissues of adult human by immunohistochemical methods. Trk immunoreactivity (IR) was detected at various levels in all tissues examined, except for the heart and liver. The gastric parietal cells showed strong TrkA and(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)