Si conoces algún otro código JavaScript para detectar si el navegador del usuario es Internet Explorer este código que creó Dan Edwards es el más pequeño, no sé si el más eficiente pero se ve muy bien el código ya además de ser minimalista te evita líneas innecesarias.
var isIE = /*@cc_on!@*/false;Pero si esto te pareción poco código prepárate para ver el siguiente código publicado en Ajaxian que hace lo mismo:
IE=\'\\v\'==\'v\';Según dice aNieto2K no se recomienda usar esto en los desarrollos web pero muchas veces no hay de otra, aunque no siempre funcionan estos códigos.