SRI International
-
Invariant Checking for Programs with Procedure Calls
We explore the theoretical limits for doing automatic invariant checking and show that invariant checking is decidable for a large class of programs that includes some recursive programs.
-
Laboratory Measurement of the Co Cameron Bands and Visible Emissions Following Vuv Photodisassociation of CO2
The experimental results confirmed that once a triplet state excitation threshold is exceeded, a fraction of the Cameron band emission is accompanied by visible emission.
-
Like an Intuitive and Courteous Butler: a Proactive Personal Agent for Task Management
We characterize the properties desired of proactive behaviour by a personal assistant agent in the realm of task management, and present an extended agent cognition model that features a meta-level layer charged with identifying potentially helpful actions and determining when it is appropriate to perform them.
-
Multi-Reflected Echoes: Another Ionogram Signature of Large-Scale Wave Structure
MREs are interesting because they display, for the data set examined, a strong preference to occur during the post-sunset rise of the F layer, which includes E-region sunset. How this finding affects our understanding of LSWS is discussed.
-
Synchrotron Studies of Co2 Photodisassociation: Excited State Quantum Yields and Optical Emissions from Comets and the Mars Atmosphere
-
2009 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications, CIMSA 2009: Message from the Chairs
Presents the welcome message from the conference proceedings.
-
Beyond Accessibility: Evidence Centered Design For Learning (Ecdl) For Improving The Efficiency Of Instruction.
This paper illustrates how Evidence Centered Design (ECD) can be used to address the accessibility of learning-centered assessments, and how such efforts lay a critical foundation for improvements in other aspects of quality, particularly learning efficiency.
-
Bridging School and Home: Students’ Engagement with Technology-Rich Activities
This poster describes ongoing work that examines students use of a computer-based learning environment designed to bridge school and out-of-school learning contexts by incorporating affordances of both formal and informal learning settings.
-
Using Learning Decomposition To Analyze Instructional Effectiveness In The ASSISTment System
This paper presents a study determining the relative efficacy of different instructional content by applying an educational data mining technique, learning decomposition.
-
What Were You Thinking? Filling in Missing Dataflow Through Inference in Learning from Demonstration
This paper addresses the problem of learning from demonstrations involving unobservable (e.g., mental) actions. We explore the use of knowledge base inference to complete missing dataflow and investigate the approach in the context of the CALO cognitive personal desktop assistant.
-
Evaluation of Evidence-Based Practices in Online Learning: A Meta-Analysis and Review of Online-Learning Studies
This finding suggests that the positive effects associated with blended learning should not be attributed to the media, per se.
-
From Geek to Sleek: Integrating Task Learning Tools to Support End Users in Real-World Applications
We present an integrated task learning system (ITL) that learns executable procedures based on user demonstration and instruction, constituting a first step toward a broader solution for procedure management.