Publications
-
A Heritage of Innovation: SRI’s First Half Century
From its beginnings at Stanford University, where it was intended to serve industry in the Western United States, SRI has grown to a worldwide research organization.
-
Build IT: Girls Developing Information Technology Fluency Through Design. Annual Report Year 1
The goals for the first year of the Build IT project were to develop and implement the three units of the curriculum at four school sites reaching a total of…
-
Interpersonal And Non-Interpersonal Interactions, Interpersonal Motives, And The Effects Of Frustrated Motives
A new circumplex model of interpersonal interaction emphasizes the motives that drive interpersonal behaviors and the negative affect (such as anger) that occurs when a strongly activated motive is frustrated.
-
Fighting the Wrong Battle in the Teacher Preparation Wars
SRI conducted a comprehensive study of alternative teacher certification programs to determine the characteristics of those that were effective.
-
Proving Authentication Properties in the Protocol Derivation Assistant
In the present paper, we introduce an axiomatic theory of authentication suitable for the automatic proof of authentication properties. We describe a proof of the authentication property of a simple…
-
Privacy enhancing technologies; proceedings of the 6th International Workshop (PET 2006)
The 6th Workshop on Privacy Enhancing Technologies, PET 2006, was held at Robinson College, Cambridge (UK) on June 28-20, 2006.
-
Tides: Report On Technical Quality Of 7th Grade Student Assessment
This report describes activities undertaken to create, pilot, and analyze technical quality of student assessments in seventh grade for the Transforming Instruction by Design in Earth Science (TIDES) project.
-
Metatheoretic Plan Summarization and Comparison
We describe a domain-independent framework for plan summarization and comparison that can help a human understand both key strategic elements of an individual plan and important differences among plans.
-
Improvements in MLLR-Transform-based Speaker Recognition
We previously proposed the use of MLLR transforms derived from a speech recognition system as speaker features in a speaker verification system. In this paper we report recent improvements to…
-
A Study of Intentional Voice Modifications for Evading Automatic Speaker Recognition
We investigate the effect of intentional voice modifications on a state-of-the-art speaker recognition system. The investigation includes data collection, where normal and changed voices are collected from subjects conversing by…
-
Information scent and Web navigation: theory, models and automated usability evaluation
-
Continuous Refinement of Agent Resource Estimates
The challenge we address is to reason about projected resource usage within a hierarchical task execution framework in order to improve agent effectiveness. Specifically, we seek to define and maintain…