A new algorithm for inference in HMM's with lower span complexity | Synapse