From what you posted, the second one with the 31/38khz could do SVGA (800x600), but not arcade resolutions (15khz).
I'd go with the first for a MAME cab, but there are more learned folks than me in here.
I believe both can just plug into a regular VGA out on your computer, I don't know if either require an iso transformer.