This language is applicable to estimation problems involving linear Gaussian models or processes taking values in a finite set. The use of high-level primitives allows the development of highly ...