In PaintShopPro there is also a similar batch processing feature which allows you to resize a bunch of images quickly...
In fact, most decent graphic editors have such a batch processing feature.
And if you don't have a big graphics program there are a gazillion (free) tools on the web to do just that.