Author: SRI International
-
Compositionality for Tightly Coupled Systems: a New Application of the Propositions-As-Types Interpretation
Although compositional techniques are being successfully employed in practice, the use of such techniques is often rather informal and intuitive, and typically a justification for correct behaviour of the composed system exists but is not expressed explicitly. In this paper, we show what can be gained from treating such justifications as first-class citizens.
-
Report On Technical Quality Of 6th And 8th Grade Student Assessments For The Tides Project
This report describes activities undertaken to create, pilot, and analyze technical quality of student assessments in sixth and eighth grades for the Transforming Instruction by Design in Earth Science (TIDES) project.
-
Joint Segmentation and Classification of Dialog Acts in Multiparty Meetings
This paper investigates a scheme for joint segmentation and classification of dialog acts (DAs) of the ICSI Meeting Corpus based on hidden-event language models and a maximum entropy classifier for the modeling of word boundary types.
-
Speech Recognition Engineering Issues in Speech-to-Speech Translation System Design for Low Resource Languages and Domains
This paper, using case studies of creating speech translation systems between English and languages such as Pashto and Farsi, describes some of the practical issues and the solutions that were developed for multilingual ASR development.
-
Generalized Linear Kernels for One-Versus-All Classification: Application to Speaker Recognition
In this paper, we examine the problem of kernel selection for one-versus-all (OVA) classification of multiclass data with support vector machines (SVMs). We focus specifically on the problem of training what we refer to as generalized linear kernels–that is, kernels of the form, k(x_1,x_2) = x_1^T R x_2, where R is a positive semidefinite matrix.
-
Conflict Negotiation Among Personal Calendar Agents
We will demonstrate distributed conflict resolution in the context of personalized meeting scheduling. The demonstration will show how distributed constraint optimization can be used to facilitate interaction between cognitive agents and their users. The system is part of the CALO personal cognitive assistant that will also be explored during the demonstration.
-
No Child Left Behind and Science Education: Opportunities, Challenges, and Risks
This article examines the opportunities, challenges, and risks that No Child Left Behind (NCLB) poses for science education in elementary and middle schools.
-
The Many Challenges Of Designing And Teaching Nanoscience
-
Measuring Middle School Teachers’ Mathematical Knowledge Of Teaching Rate And Proportionality
We are investigating if teachers from across the state of Texas can use a specially designed replacement unit and SimCalc software to help their students learn mathematics important to the Texas state frameworks, as well as content that goes beyond the state framework—the beginning pieces of the “mathematics of change,” leading to Calculus.
-
Mathematizing Middle School: Results From A Cross-Disciplinary Study Of Data Literacy
In this paper we discuss a pilot study in which we investigate bridging the disciplines of social studies and mathematics to help students learn important aspects of data literacy. We view this pilot as an important step in a larger research program that investigates the learning progression, and the concomitant learning mechanisms required to increase…
-
Findings from the Evaluation of The Bill And Melinda Gates Foundation’s National School District and Network Grants Program: The Challenge of Sustaining High-School Reform
-
Reverse Engineering the NAEP Floating Pencil Task Using the PADI Design System (PADI Technical Report 16)
This report will discuss the reverse engineering of the National Assessment of Educational Progress (NAEP) Floating Pencil task. The PADI design system was used as an analytical tool for understanding the characteristics and underlying assessment argument of this chosen task.