The proceedings contain 47 papers. The topics discussed include: ALKAHEST III: automatic analysis of periodic weakly nonlinear ODES;limitations to algorithm solvability: Galois methods and models of computation;code g...
ISBN:
(纸本)0897911997
The proceedings contain 47 papers. The topics discussed include: ALKAHEST III: automatic analysis of periodic weakly nonlinear ODES;limitations to algorithm solvability: Galois methods and models of computation;code generation for hybrid mixed mode formulation in finite element analysis;algebraic decomposition of regular curves;algebraic decomposition of regular curves;fast parallel algorithms for similarity of matrices;summation of binomial coefficients using hypergeometric functions;MathScribe: a userinterface for computer algebra systems;applications of a software interconnection system in mathematical problem solving environments;divide-and-conquer in computational group theory;PowerMath - a system for the macintosh;how to compute multivariate PADE approximants?;there is no 'Uspensky's method';a numerical code generation facility for reduce;usage of reduce for computations of group-theoretical weight of Feynman diagrams in non- abeliangauge theories;a sp4rse distributed representation using prime numbers;simplification of algebraic expression by multiterm rewriting rules;and dialogue in reduce experience and development.
This paper argues that using a set of semi-structured message templates is surprisingly helpful in designing a variety of computer-based communication and coordination systems. Semi-structured messages can help provid...
详细信息
Cognoter is a program helps a cooperating group of people to organizing their thoughts for a presentation, e.g., a paper or talk. It is designed for use in the Colab, an experimental laboratory created at Xerox PARC t...
详细信息
The key to the effectiveness of any CAD system is the effectiveness of its human interface. Designers need an interface that is easily mastered, consistent across the variety of tools within the system, and adaptable....
ISBN:
(纸本)9780818607028
The key to the effectiveness of any CAD system is the effectiveness of its human interface. Designers need an interface that is easily mastered, consistent across the variety of tools within the system, and adaptable. In an effort to provide this type of interface, the authors and others within the MCC CAD Program have built a software platform that isolates the input/output functions used by each CAD tool from the software of the tool itself. This platform includes a grammar-driven front end which supports 'modeless' input and standardized subsystems for graphical input and output. Use of this platform is supported by a suite of utilities that simplify the effort required of the CAD tool developer in specifying a userinterface.
From its beginning, the technology of personal workstations has been driven by visions of a future in which people would work in intimate partnership with computer systems on significant intellectual tasks. These visi...
ISBN:
(纸本)9780897911764
From its beginning, the technology of personal workstations has been driven by visions of a future in which people would work in intimate partnership with computer systems on significant intellectual tasks. These visions have been expressed in various forms: Memex (Bush, 1945), Man-Machine Symbiosis (Licklider, 1960), NLS (Engelbart, 1963), Dynabook (Kay, 1977), and *** tight coupling between human and computer required by these visions necessitated advances in the ways humans and computers interact. These advances have slowly begun to accumulate into what might be called a usertechnology. This usertechnology includes hardware and software techniques for building effective userinterfaces: bitmapped displays, menus, pointing devices, “modeless” command languages, animation, and interface metaphors. But it must include a technical understanding of the user himself and of the nature of human-computer interaction. This latter part, the scientific base of usertechnology, is necessary in order to understand why interaction techniques are (or are not) successful, to help us invent new techniques, and to pave the way for machines that aid humans in performing significant intellectual *** this paper, we trace some of the history of our understanding of users and their interaction with workstation—the personal part of personal workstations. In keeping with the spirit of other papers at this conference, we have centered this review around our own experiences, perspectives, and work and have not attempted a complete history of the field. In concentrating on our own work, we do not wish to mimimize the importance of others' work; we simply want to tell our own story. Our focus is on what we have learned about users in our years of studying them and how we see our findings relating to the original visions of the personal workstation.
The high cost, of software is not due to the difficulty of coding, but in recoding and redocumenting software. This can be better understood when one considers how many expressions of the same ideas must be constructe...
详细信息
A novel procedure presented here generates test sequences for checking the conformity of protocol implementations to their specifications. The test sequences generated by this procedure only detect the presence of man...
详细信息
The authors discuss a high-speed blackboardlike architecture for an expert system that makes no restrictions on the nature or number of components in the system. They show how the principles of cognitive psychology co...
详细信息
ISBN:
(纸本)0818606479
The authors discuss a high-speed blackboardlike architecture for an expert system that makes no restrictions on the nature or number of components in the system. They show how the principles of cognitive psychology could be used as a basis for userinterface design. Since most expert systems, circa 1985, are large programs, they also discuss some of the software engineering issues used to build the consultant.
Many systems are built by selecting computers and displays, developing software, and only then retrofitting the human, his procedures, idiosyncracies and experiences into the design. Such retrofits are done almost as ...
详细信息
ISBN:
(纸本)0444877738
Many systems are built by selecting computers and displays, developing software, and only then retrofitting the human, his procedures, idiosyncracies and experiences into the design. Such retrofits are done almost as an afterthought resulting in systems in which the Man-Machine interface (MMI) is re-engineered within the constraints of a fixed hardware system. To mitigate the risks associated with these approaches, a structured process is being used which focuses on an interdisciplinary and user-involved approach to better engineer the MMI. This approach presumes that man is a starting point in the design process.
user Information Satisfaction (UIS) has emerged as the major surrogate for the effectiveness of Management Information Systems (MIS) in organizations. While the concepts of "information" and "satisfacti...
详细信息
暂无评论