Richard Washington

Learn More
There has been considerable work in AI on decisiontheoretic planning and planning under uncertainty. Unfortunately, all of this work suffers from one or more of the following limitations: 1) it relies on very simple models of actions and time, 2) it assumes that uncertainty is manifested in discrete action outcomes, and 3) it is only practical for very(More)
We describe an approach for exploiting structure in Markov Decision Processes with continuous state variables. At each step of the dynamic programming, the state space is dynamically partitioned into regions where the value function is the same throughout the region. We first describe the algorithm for piecewise constant representations. We then extend it(More)
A surgical intensive care unit (ICU) is a challenging monitoring environment. The multitude of monitored variables, the high frequency of alarms, and the severity of likely complications and emergencies can overload the cognitive skills of even experienced clinicians. ICU monitoring is also complicated by changes in clinical context. Over the course of a(More)
Executive Summary The world's climate is continuing to change at rates that are projected to be unprecedented in recent human history. Some models are now indicating that the temperature increases to 2100 may be larger than previously estimated in 2001. The impacts of climate change are likely to be considerable in tropical regions. Developing countries are(More)
1 Caelum Research Corporation at NASA Ames Research Center 2 University of Washington 3 Carnegie Mellon University ABSTRACT—The Pathfinder mission demonstrated the potential for robotic Mars exploration but at the same time indicated the need for more robust rover autonomy. Future planned missions call for long traverses over unknown terrain, robust(More)
There is a scientific consensus regarding the reality of anthropogenic climate change. This has led to substantial efforts to reduce atmospheric greenhouse gas emissions and thereby mitigate the impacts of climate change on a global scale. Despite these efforts, we are committed to substantial further changes over at least the next few decades. Societies(More)
We present regional model simulations of the dust emission events during the Bodélé Dust Experiment (BoDEx) that was carried out in February and March 2005 in Chad. A box model version of the dust emission model is used to test different input parameters for the emission model, and to compare the dust emissions computed with observed wind speeds to those(More)
Empirical orthogonal functions (EOFs) are used to analyze a 14-year record of tropical tropospheric ozone columns (TTOCs) determined from satellite measurements. The first EOF explains 54% of TTOC variance and represents biomass burning in Africa and South America. The second EOF explains 20% of the variance and has a distinct lightning signature.
Software testing is typically an ad-hoc process where human testers manually write test inputs and descriptions of expected test results, perhaps automating their execution in a regression suite. This process is cumbersome and costly. This paper reports results on a framework to further automate this process. The framework consists of combining automated(More)