Publications
-
Fast Symbolic Evaluation of C/C++ Preprocessing Using Conditional Values
We present a new approach for symbolic evaluation that can efficiently compute these conditions by binding variables to conditional values and avoiding the path feasibility analysis of traditional symbolic evaluation.
-
Interactive Execution Monitoring of Agent Teams
We describe a monitoring framework for integrating many domain-specific and task-specific monitoring techniques and then using the concept of value of an alert to avoid operator overload.
-
Five Key Considerations for Networking in A Handheld-Based Mathematics Classroom
In this report, we seek to respond by describing five key classroom networking considerations. To serve the interests of the PME audience, we seek to focus only on those aspects…
-
Performance Assessment As An Anchor For Cross-Site Investigations Of Customization
-
Globe Year 7 Evaluation: Exploring Student Research and Inquiry in Globe
This is the seventh in a series of annual evaluation reports provided to the GLOBE Program by SRI, which has been evaluating the Program since its inception.
-
Handhelds Go to School: Lessons Learned
Wireless handhelds offer new opportunities for innovative user interaction, communication, and connection with sensors – both in the classroom and on field trips.
-
What Will People Say? Speech System Design and Language/Cultural Differences
This paper evaluates the effectiveness of three speech system design strategies in Pashto, a little-studied language of Afghanistan and Pakistan, drawing comparisons with English where possible.
-
Mixed-initiative Planning in PASSAT
We present the novel application of a general-purpose knowledge-based system, SHAKEN, to the specific task of acquiring knowledge for military Course of Action (COA) analysis.
-
The Pathway Tools software and its Role in Anti-Microbial Drug Discovery
-
Knowledge acquisition, consistency checking and concurrency control for Gene Ontology (GO)
In this paper, we assess the applicability of a Knowledge Base Management System (KBMS), Protégé-2000, to the maintenance and development of GO.
-
HpyCyc: Helicobacter pylori Pathway/Genome Database
A Pathway/Genome Database for Helicobacter pylori is available at URL BioCyc.org. The database integrates the full genome of H. pylori with its computationally predicted metabolic pathways.
-
The Case For Using Randomized Experiments In Research On Newer Educational Technologies: A Critique Of The Objections Raised And Alternatives