Fritz H. Obermeyer
Location:I have graduated and moved to Toyon Research Corporation in Goleta, CA.
My thesis project, Johann, was a system for doing and verifying mathematics and programming, based on combinators and untyped lambda calculus. Johann uses some knowledge representation and statistical learning tricks to prove/verify statements expressed in a particular lambda-calculus.
"Short-term Ambiguity Assessment to Augment Tracking Data Association Information",|
S. Gadaleta, S. Herman, M. Levedahl, S. Miller, F. Obermeyer, B.J.Slocumb, and A.B.Poore,
"A Bayesian Network Tracking Database",|
Fritz Obermeyer and Aubrey Poore,
Proceedings of SPIE Signal and Data Processing of Small Targets 2004
"Batch maximum likelihood (ML) and maximum a posteriori (MAP) estimation with process noise for tracking applications",|
A.B.Poore, B.J.Slocumb, B.J.Suchomel, F.H.Obermeyer, S.M.Herman, S.M.Gadaleta,
Proceedings of SPIE Signal and Data Processing of Small Targets 2003