The original definition of refinement proof obligations in VDM is reviewed and examples are discussed which, while being intuitively sensible, pose problems for this definition of refinement. An extended VDM refinemen...
详细信息
Earlier research have demonstrated that visual information provided by the movement of a talker's lip helps in the perception of speech. The purpose of this paper was to explore the limits of the lip-reading effec...
详细信息
An X-Windows-based graphic user interface is presented which allows the seamless integration of numerous existing biomolecular programs into a single analysis environment. This environment is based on a core multiple ...
Focus in natural language processing is used to keep track of the attentional space of the participants in the dialogue. Graphical interfaces have still to benefit from the use of this level of communication. We discu...
详细信息
The wildly popular graphical user interfaces are a dramatic improvement over earlier interaction styles, but the next generation of user interfaces is already being fashioned. The future will be dynamic, spatial, gest...
ISBN:
(纸本)9780897915588
The wildly popular graphical user interfaces are a dramatic improvement over earlier interaction styles, but the next generation of user interfaces is already being fashioned. The future will be dynamic, spatial, gestural, colorful, ubiquitous, often auditory, and sometimes virtual. The dominance of visual information with hi-res images and full-motion video will push the hardware requirements, absorb network capacity, and challenge the algorithm designers. As human-computerinteraction researchers accumulate experimental data and theory matures, novel input devices, information visualization displays, and interaction strategies will emerge.
Requirements that involve the usability of systems can be properties of interactions rather than systems alone. We demonstrate this proposition by means of four examples and then suggest how a notation like CSP may be...
详细信息
Requirements that involve the usability of systems can be properties of interactions rather than systems alone. This proposition is demonstrated by means of four examples. The authors suggest that a notation like CSP ...
详细信息
Requirements that involve the usability of systems can be properties of interactions rather than systems alone. This proposition is demonstrated by means of four examples. The authors suggest that a notation like CSP (communicating sequential processes) may be used to provide a framework for considering different modeling approaches. interaction requirements that relate to multiwindowed systems, walk up and use systems, and dynamic systems such as power stations are considered. It is shown how models provide different representations to which advice from the different disciplines of humancomputerinteraction may be applied.< >
The concept of an ‘interactor’ has been introduced by Faconti and Paterno' [6] as an abstraction of an entity in interactive graphics capable of both input and output. However the notion of interaction object ne...
详细信息
A partial restriction map can be computed by using single digest fragments from a set of clones that are known to be in a contig. If there is no error or uncertainty in the data, so that the set of unique restriction ...
详细信息
暂无评论