Rovi aumenta su beneficio neto un 12% en los nueve primeros meses, hasta 18,7 millones