Forty сказал(a):

Да, именно так.

Значитца так:
File->Open video file открываете первый файл будущей видеопоследовательности, остальные подхватятся автоматом
Video->Filters->Add.. выбираете фильтр Resize задаете разрешение (соотношение сторон)
Затем Video->Compression выбираете кодек
Напоследок File->Save as AVI.
Все. Ждете результата.