I was thinking HDR also, but it seemed more than that.
Just saw the link to the guy who did it and he has more on his page.
http://michaelspearhawkins.com/port1.html
But it looks so different from this kind of HDR...
http://www.flickr.com/photos/stevenerat/294969312/
How do you get it half cartoon looking????