We present the new notion of enforced generative pattern, a structure that declares positive or negative conditions that must be satisfied by a model. Patterns are applied to tran...
Intelligent Tutoring Systems (ITSs) have proved useful in a variety of domains, but are notoriously resource intensive to build. We have created two programs (“tutor generatorsâ...
Viswanathan Kodaganallur, Rob R. Weitz, David Rose...
We present a framework called Semantic Streams that allows users to pose declarative queries over semantic interpretations of sensor data. For example, instead of querying raw magn...
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
NASA and USGS are collaborating to produce a global map of Earth using Landsat 5 Thematic Mapper and Landsat 7 Enhanced Thematic Mapper Plus sensor data from the period of 2004 th...
Robert A. Morris, John Gasch, Lina Khatib, Steven ...