Learn More
We introduce the novel task of identifying important citations in scholarly literature, i.e., citations that indicate that the cited work is used or extended in the new effort. We believe this task is a crucial component in algorithms that detect and follow research topics and in methods that measure the quality of publications. We model this task as a(More)
The hardware and software in modern aircraft controlsystems are good candidates for verification using formalmethods: they are complex, safety-critical, and challengethe capabilities of test-based verification strategies. Wehave previously reported on our use of model checking toverify the time partitioning property of the Deos¿ real-timeoperating system(More)
We present a versatile statistical verification methodology and we illustrate different uses of this methodology on two examples of nonlinear real-time UAV controllers. The first example applies our statistical methodology to the verification of a computation time property for a software implementation of a high-performance controller as a function of(More)
Bacterial manganese (Mn) oxidation plays an important role in the global biogeochemical cycling of Mn and other compounds, and the diversity and prevalence of Mn oxidizers have been well established. Despite many hypotheses of why these bacteria may oxidize Mn, the physiological reasons remain elusive. Intracellular Mn levels were determined for Pseudomonas(More)
In this paper, we introduce <i>NerdHerder</i>, a mobile game with an augmented reality interface. The game's premise is that you are hired as an IT manager, and your job is to use ""management skills"" to get the nerd employees back to work in their cubicles. The core game mechanic relies on the physical position and movement of the handheld device in(More)
We present an approach to verifying the performance of an intelligent control algorithm for which traditional, deterministic verification is not feasible. Our approach is based on statistical learning theory. We develop a classifier based on simulation data to partition the potential operating region of a system under control (here an autonomous helicopter)(More)
We describe an approach to statistically verifying complex controllers. This approach is based on deriving practical Vapnik-Chervonenkis-style (VC) generalization bounds for binary classifiers with weighted loss. An important case is deriving bounds on the probability of false positive. We show how existing methods to derive bounds on classification error(More)
Classical decision theory provides a normative theory for representing and reasoning with complex preferences. But straightforward application of this theory to construct automated decision making agents is difficult due to the high cost of eliciting utilities. People tend to express their preferences in qualitative terms and have troubles translating them(More)
Physical interfaces have been widely adopted in digital games. In our project, we research one such type of physical interface---handheld augmented reality interfaces, and aim to create an engaging and novel play experience. Designing such games requires us to combine knowledge from both Human-computer interaction and game design domains. In this paper, we(More)