We are looking for an Encoding tool for batch encoding of high volumes of video content for mobile devices. Specifically, we want to be able to encode using one input file out of which the defined, different resolutions are then generated automatically - in batch mode. Does anybody know of any tools who can produce multiple output files in batch mode?