Fritz H. Obermeyer

Location:I have graduated and moved to Toyon Research Corporation in Goleta, CA.
Gmail address: firstname.lastname

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.

Notes - Resume - Thesis: Abstract, Final Draft, Talk

Projects

Johann:: a system for expressing and verifying mathematics using combinators.
Jenn:: software for visualizing coxeter polytopes.

Papers

"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,
Fusion 2005

"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