Publications
-
Behavioral Contracts and Behavioral Subtyping
In this paper, we show how to enforce contracts if components are manufactured from class and interface hierarchies.
-
CODA: Coordinating Human Planners
The CODA system provides targeted information dissemination among distributed human planners as a way of improving coordination.
-
Directing Agent Communities: An Initial Framework
This paper presents a framework for directability of a community of agents by a human supervisor that focuses on three dimensions: adjustable agent autonomy, strategy preference, and community-level constraints.
-
Human Directability of Agents
This paper presents a framework for the directability of agents, in which a human supervisor can define policies to influence agent activities at execution time.
-
Silicon Valley Challenge 2000: Year 5 Multimedia Project Report
SRI International’s evaluation report for Year 5, the 1999-2000 school year, traces the ongoing progress of the MMP in meeting its goals.
-
Designing Technology That Changes How & What Children Learn
-
Integrating Planning and Scheduling through Adaptation of Resource Intensity Estimates
We describe an incremental and adaptive approach to integrating hierarchical task network planning and constraint-based scheduling.
-
Pushing The Boundaries Of Technology In American Classrooms
-
The genome of the natural genetic engineer Agrobacterium tumefaciens C58
The 5.67-megabase genome of the plant pathogen Agrobacterium tumefaciens C58 consists of a circular chromosome, a linear chromosome, and two plasmids.
-
Developing Assessments For Tomorrow’s Classrooms
This paper begins with a discussion of technology-supported activities to support meaningful learning and planning for a new research agenda.
-
Mobile Wireless Devices In Mathematics Education
-
The .geo-web: A Scalable Index for the Digital Earth