Computer Sciences Department, University of Wisconsin-Madision, Madison, WI;Computer Science Department, Carnegie Mellon University, Pittsburgh, PA;Computer Science Department, Carnegie Mellon University, Pittsburgh, PA;IBM T. J. Watson Research Center, Hawthorne, NY;Department of Computer Science, University of Massachusetts, Amherst, MA