|
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
Lindsay, Robert K., "Images and inference" Cognition, 29, 1988, 229-250.
|
 |
2
|
John Whiteside , Sandra Jones , Paula S. Levy , Dennis Wixon, User performance with command, menu, and iconic interfaces, Proceedings of the SIGCHI conference on Human factors in computing systems, p.185-191, April 1985, San Francisco, California, United States
|
 |
3
|
|
| |
4
|
Karat, John Evaluating user interface complexity. Proceedings of the Human Factors Society - 31st Annual Meeting, 1987, 566-570.
|
| |
5
|
|
| |
6
|
|
| |
7
|
Kieras, D. E. and Polson, P. G., An approach to the formal analysis of user complexity, International Journal of Man-Machine Studies, 22, 1985, 365-394.
|
| |
8
|
Tennant, N., The withering away of formal semantics, Mind and Language, 1, 1986, 302-318.
|
| |
9
|
|
| |
10
|
Barwise, J. and Etchemendy, J., Information, infons, and inference, in Situation Theory and its Applications, I, R. Cooper, K. Mukai, and J. Perry (Eds.) Chicago:University of Chicago Press, 1990.
|
| |
11
|
|
| |
12
|
Furnas, G. W., Formal models for imaginal deduction, Proceedings of the Twelfth Annual Conference of the Cognitive Science Society, (July 25-28, 1990, Cambridge, Mass.) Hillsdale, NJ: Lawrence Erlbaum, 662-669.
|
| |
13
|
Furnas, G. W., Working paper on theory, methods and examples of imaginal deduction, Bellcore Technical Memorandum, 1991.
|
| |
14
|
Siromoney, G., Siromoney, R. and Krithivasan, K., Picture languages with array rewriting rules, Information and Control, 22, 1973, 447-470.
|
| |
15
|
Rosenfeld, A., Array and web grammars: an overview. In A. Lindenmayer and G. Rozenberg (Eds.), Automata, Languages, Development, North-Holland, 1976, 517-529.
|
| |
16
|
Post, E. L., Formal reductions of the general combinatorial decision problem, American Journal of Mathematics, 65, 1943,197-268.
|
| |
17
|
|
| |
18
|
|
| |
19
|
Furnas, G. W., "Graphical Reasoning for Graphical Interfaces" SIGGRAPH VIDEO #56. Shown in the Formal Video track of CHI'90, Seattle Washington, April 1990. Also shown in the INTERACT'90 video program, Cambridge England, August 1990.
|
| |
20
|
Schneiderman, B., The future of interactive systems and the emergence of direct manipulation. Behavior and Information Technology, 1, 1982, 237-256.
|
| |
21
|
Hutchins, E., Hollan, J., and Norman, D. A., Direct manipulation interfaces, in D.A. Norman and S. Draper (Eds.), User Centered System Design: New Perspectives on Human-Computer Interaction, Hillsdale, NJ: Lawrence Erlbaum Associates, 1986.
|
Peer to Peer - Readers of this Article have also read:
-
Data structures for quadtree approximation and compression
Communications of the ACM
28, 9
Hanan Samet
-
A hierarchical single-key-lock access control using the Chinese remainder theorem
Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing
Kim S. Lee
, Huizhu Lu
, D. D. Fisher
-
The GemStone object database management system
Communications of the ACM
34, 10
Paul Butterworth
, Allen Otis
, Jacob Stein
-
Putting innovation to work: adoption strategies for multimedia communication systems
Communications of the ACM
34, 12
Ellen Francik
, Susan Ehrlich Rudman
, Donna Cooper
, Stephen Levine
-
An intelligent component database for behavioral synthesis
Proceedings of the 27th ACM/IEEE Design Automation Conference on
Gwo-Dong Chen
, Daniel D. Gajski
|