  <img alt="*"  width=14 height=14  src="http://www.cs.washington.edu/homes/forman/lib/ball-yellow.gif">  <b> <a href="http://www.cs.washington.edu/homes/forman/pubs.html"  >Publications</a></b> <dd>
