Dissertation: Automatically Generating Personalized Adaptive Interfaces (2008)
Krzysztof Z. Gajos, Advisors Daniel, S. Weld, Advisor Daniel, S. Weld, ...
www.cs.washington.edu/homes/kgajos/
Abstract Using Semantic Networks for Knowledge Representation in an Intelligent Environment (2007)
Stephen Peters, Howard E. Shrobe
When building intelligent spaces, the knowledge representation for encapsulating rooms, users, groups, roles, and other information is a fundamental design question. Here we present a semantic...
COMPUTER AIDED EVOLUTIONARY DESIGN (2007)
Charles Rich, Howard E. Shrobe, Richard C. Waters
ABSTRACT- We report on a partially implemented interactive coraputor aided design tool for software engineering. A distinguishing characteristic of our project is its concern for the evolutioary...
Considered Harmful, Howard E. Shrobe
Abstract: . The Floyd-Hoare methodology completely dominates the field of Program'verification 'and has contribute much to our understanding of how programs might be analyzed. Useful but...
Automated Reasoning About Classical Mechanics (2007)
Howard E. Shrobe, Frederic R. Morgenthaler, Leon Chih, Leon Chih, Leon Chih, Wen Wong, ...
in partial ful llment of the requirements for the degree of
A practical activity capture framework for personal, lifetime user modeling (2007)
Max Van Kleek, Howard E. Shrobe
Abstract. This paper addresses the problem of capturing rich, longterm personal activity logs of users ’ interactions with their workstations, for the purpose of deriving predictive, personal user...
TO: Department Graduate Committee (2007)
Max Van Kleek, From Dr, Howard E. Shrobe
This proposal describes an investigation into ways by which software can proactively support a user’s task and time management practices within their desktop environments. The proposed approach...
Tyler Bruce Horton, Howard E. Shrobe, Tyler Bruce Horton
SKINNI is an application that allows users to access, annotate, and share contextually relevant information from smart digital kiosks in public spaces. These platforms will not only enable...
Nathan Eagle, Max Van Kleek, Y Pentl, Howard E. Shrobe
We present a system for fostering informal interactions among previously unacquainted people through the use of mobile phones and public kiosk displays in the workplace. Our system assesses the...
Using semantic networks for knowledge representation in an intelligent environment (2003)
Stephen Peters, Howard E. Shrobe
Abstract. When building intelligent spaces, the knowledge representation for encapsulating rooms, users, groups, roles, and other information is a fundamental design question. Here we present a...
Max Van Kleek, Howard E. Shrobe, Max Van Kleek
The Ki/o Kiosk Project is a research effort to explore the potential applications for embedding computation in informal public spaces, such as hallways, building lobbies, and break areas. By...
Initial Report on a LISP Programmer's Apprentice. (2002)
Rich,Charles, Shrobe,Howard E.
The conceptual basis of the system lies in three forms of program description: (1) definition of structured data objects, their parts, properties, and relations between them, (2) input-output...
Programming Viewed as an Engineering Activity. (2002)
Rich,Charles, Shrobe,Howard E., Waters,Richard C., Sussman,Gerald J., Hewitt,Carl E.
It is profitable to view the process of writing programs as an engineering activity. A program is a deliberately contrived mechanism constructed from parts whose behaviors are combined to produce the...
Computer Aided Evolutionary Design for Software Engineering. (2002)
Rich,Charles, Shrobe, Howard E., Waters, Richard C.
This memorandum reports on a partially implemented interactive computer aided-design tool for software engineering. A distinguishing characteristic of this project is its concern for the evolutionary...
A Hypothetical Monologue Illustrating the Knowledge Underlying Program Analysis. (2002)
Shrobe,Howard E., Waters,Richard C., Sussman,Gerald J.
Automated Program Analysis is the process of discovering decomposition of a system into sub-units such that the behavior of its parts. Analysis can be employed to increase the explanatory power of a...
Mechanical linkages are used to transmit and transform motion. In this paper we investigate what it means for a program to "understand " a linkage. Our system extracts its...
Education and the Environment (1992)
Howard E. Shrobe, Arthur C. Smith, Katherine E. Koch, Katherine E. Koch
In a human-centered computing environment, users interact with their computers in a natural way, including use of speech and gestures. In order for the computers to understand the user’s commands,...
A Hypothetical Monologue Illustrating the Knowledge Underlying Program Analysis (1979)
Shrobe, Howard E., Waters, Richard C., Sussman, Gerald J.
Automated Program Analysis is the process of discovering decompositions of a system into sub-units such that the behavior of the whole program can be inferred from the behavior of its parts. Analysis...
Computer Aided Evolutionary Design for Software Engineering (1979)
Rich, Charles, Shrobe, Howard E., Waters, Richard C.
We report on a partially implemented interactive computer aided design tool for software engineering. A distinguishing characteristic of our project is its concern for the evolutionary character of...
Computer Aided Evolutionary Design for Software Engineering (1979)
Rich, Charles, Shrobe, Howard E., Waters, Richard C.
We report on a partially implemented interactive computer aided design tool for software engineering. A distinguishing characteristic of our project is its concern for the evolutionary character of...
A Hypothetical Monologue Illustrating the Knowledge Underlying Program Analysis (1979)
Shrobe, Howard E., Waters, Richard C., Sussman, Gerald J.
Automated Program Analysis is the process of discovering decompositions of a system into sub-units such that the behavior of the whole program can be inferred from the behavior of its parts. Analysis...
Dependency directed reasoning for complex program understanding /--by Howard Elliot Shrobe. (1979)
Thesis--Massachusetts Institute of Technology.
"AD-A078-055."
Programming Viewed as an Engineering Activity (1978)
Rich, Charles, Shrobe, Howard E., Waters, Richard C., Sussman, Gerald J., Hewitt, Carl E.
It is profitable to view the process of writing programs as an engineering activity. A program is a deliberately contrived mechanism constructed from parts whose behaviors are combined to produce the...
Floyd-Hoare Verifiers "Considered Harmful" (1978)
The Floyd-Hoare methodology completely dominates the field of program verification and has contributed much to our understanding of how programs might be analyzed. Useful but limited verifiers have...
Floyd-Hoare Verifiers "Considered Harmful" (1978)
The Floyd-Hoare methodology completely dominates the field of program verification and has contributed much to our understanding of how programs might be analyzed. Useful but limited verifiers have...
Programming Viewed as an Engineering Activity (1978)
Rich, Charles, Shrobe, Howard E., Waters, Richard C., Sussman, Gerald J., Hewitt, Carl E.
It is profitable to view the process of writing programs as an engineering activity. A program is a deliberately contrived mechanism constructed from parts whose behaviors are combined to produce the...
Initial Report on a LISP Programmer's Apprentice (1976)
Rich, Charles, Shrobe, Howard E.
This is an initial report on the design and partial implementation of a LISP programmers apprentice, an interactive programming system to be used by an expert programmer in the design, coding, and...
Initial Report on a LISP Programmer's Apprentice (1976)
Rich, Charles, Shrobe, Howard E.
This is an initial report on the design and partial implementation of a LISP programmers apprentice, an interactive programming system to be used by an expert programmer in the design, coding, and...
Understanding LISP Programs: Towards a Programmer's Apprentice (1974)
Rich, Charles, Shrobe, Howard E.
Work reported herein was conducted at the Artificial Intelligence Laboratory, a Massachusetts Institute of Technology research program supported in part by the Advanced Research Projects Agency of...
Understanding LISP Programs: Towards a Programmer's Apprentice (1974)
Rich, Charles, Shrobe, Howard E.
Work reported herein was conducted at the Artificial Intelligence Laboratory, a Massachusetts Institute of Technology research program supported in part by the Advanced Research Projects Agency of...