Publications
-
A Guide to SNARK
Snark, SRI's New Automated Reasoning Kit, is a theorem prover intended for applications in artificial intelligence and software engineering. This document is an example-driven tutorial introduction to snark that will…
-
The SRI March 2000 Hub-5 Conversational Speech Transcription System
We describe SRI's large vocabulary conversational speech recognition system as used in the March 2000 NIST Hub-5E evaluation.
-
Determining the three-dimensional morphology of γ′-particles in γ-γ′ superalloys
We propose qualitative and quantitative methods for determining the three-dimensional morphology of second-phase particles in Ni-based superalloys in the late stages of coarsening.
-
Measuring Students’ Environmental Awareness And Skill In Data Analysis And Interpretation: Designing Web-Based Assessment For The Globe Program
-
Multiple-Target Tracking in Dense, Noisy Environments: A Probabilistic Mapping Perspective
A new approach is taken to address the various aspects of the multiple-target tracking (MTT) problem in dense and noisy environments.
-
MAESTRO: Conductor of Multimedia Analysis Technologies
MAESTRO is a research and demonstration system developed at SRI International for exploring the contribution of a variety of analysis technologies
-
XOL: An XML-Based Ontology Exchange Language
This document describes a language called XOL, is designed to provide a format for exchanging ontology definitions among a set of interested parties.
-
The Chemsense Knowledge Building Environment
-
Learning Probability Through The Use Of A Collaborative, Inquiry-Based Simulation Environment
In this paper we report on the Probability Inquiry Environment (PIE), which facilitates the development of probabilistic reasoning by making available collaborative inquiry activities and student-controlled simulations.
-
Simcalc: Accelerating Students’ Engagement With The Mathematics Of Change
The mission of our SimCalc project is to give ordinary children the opportunities, experiences, and resources they need to develop extraordinary understanding and skill with MCV.
-
Special Education Elementary Longitudinal Study Field Assessor’s Training Guide
-
Comer’s School Development Program In Chicago: A Theory-Based Evaluation
Using fifth through eighth-grade students, the Comer School Development Program was evaluated in 10 inner city Chicago schools over 4 years, contrasting them with nine randomly selected no-treatment comparison schools.