As a robot formation increases in size or explores places where it is difficult for a human operator to interact, autonomous control becomes critical. We propose a distributed aut...
The purpose of this study is to understand the laggard adoption of an SMS-based emergency alert system on a university campus. Based on findings from in-depth interviews and a foc...
In building intelligent tutoring systems, it is critical to be able to understand and diagnose student responses in interactive problem solving. We present a novel application of ...
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
The core mission of the semantic web, namely, to enable information to be shared across the web, faces significant challenges. The challenges come from the difficulty of capturing...