The study of transportability aims to identify conditions under which causal information learned from experiments can be reused in a different environment where only passive obser...
Inspectable Bayesian student models have been used to support student reflection, knowledge awareness and communication among teacher, students and parents. This paper presents a...
Information about interactive virtual environments, such as games, is perceived by users through a virtual camera. While most interactive applications let users control the camera,...
Abstract. In this paper we describe a virtual laboratory that is designed to accelerate scientific exploration and discovery by minimizing the time between the generation of a scie...
Judith Ellen Devaney, Steven G. Satterfield, John ...
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...