Publications
-
Reusing Prior Knowledge: Problems and Solutions
In this paper, we focus on the process of reuse and report a case study on constructing a KB by reusing existing knowledge. The reuse process involved the following steps:…
-
Measuring the Self-Consistency of Stereo Algorithms
A new approach to characterizing the performance of point-correspondence algorithms is presented. Instead of relying on any "ground truth", it uses the self-consistency of the outputs of an algorithm independently…
-
Word-Level Rate of Speech Modeling Using Rate-Specific Phones and Pronunciations
We propose to use rate-specific phone models and pronunciations for ROS modeling at the word level. Words are given three types of pronunciations -- fast, slow, and medium -- consisting…
-
Interactions of DnaA proteins from distantly related bacteria with the replication origin of the broad host range plasmid RK2
In this study we compared the interactions of oriV with five different DnaA proteins.
-
Multiple-Target Tracking and Data Fusion via Probabilistic Mapping
A new approach is taken to address the various aspects of the multi-sensor, multi-target tracking (MTT) problem in dense and noisy environments. Instead of fixing the trackers on the potential…
-
Detecting Changes in 3-d Shape using Self-Consistency
A novel image-matching measure based on Minimum Description Length (MDL) theory allows us to estimate the accuracy of individual elements of the 3- D model. Experiments to demonstrate the utility…
-
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.
-
National Early Intervention Longitudinal Study (NEILS): Family Enrollment Interview
For the SRI-led National Early Intervention Longitudinal Study (NEILS), telephone interviews were conducted with families to obtain information about child and family characteristics, etc.
-
National Early Intervention Longitudinal Study (NEILS): Family Interim Interview
For the SRI-led National Early Intervention Longitudinal Study (NEILS), telephone interviews were conducted with families to obtain information about child and family characteristics, child functioning, and families’ perceptions of services.
-
National Early Intervention Longitudinal Study (NEILS): Family Transition Interview
For the SRI-led National Early Intervention Longitudinal Study (NEILS) by RTI International, telephone interviews were conducted with families to obtain information about child and family characteristics, child functioning, and families’…
-
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…