Semiclassical initial value representation techniques for chaotic systems