Project LISTEN stands for “Literacy Innovation that Speech Technology ENables.” We will demonstrate a prototype automated reading coach that displays text on a screen, listens...
Jack Mostow, Alexander G. Hauptmann, Steven F. Rot...
We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized, mach...
This paper reports developments on a best description template for teaching methods, whose descriptive elements will eventually be mapped to the elements of the IMS Learning Desig...
As part of an ongoing project where SWoRD, a Web-based reciprocal peer review system, is used to support disciplinary writing, this study reports machine learning classifications o...
The Second Instructional Technology in Education Study: Module 2 (SITES M2) is a series of qualitative studies that identify and describe innovative pedagogical practices in 28 par...