My home page has moved to http://www.icsi.berkeley.edu/~demelo/.