Publications
Talks
Ph.D. Thesis

"Automated Equational Reasoning
in Nondeterministic lambdaCalculi
Modulo Theories H^{*}"
,
Abstract,
Thesis,
Defense.
Papers

"Scaling Nonparametric Bayesian Inference via SubsampleAnnealing",
F. Obermeyer, J. Glidden, E. Jonas,
AISTATS 2014
(pdf)
(arXiv)

"Shortterm 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
Patents

"Multiaxis joystick and transducer means therefore",
H. Obermeyer, F. Obermeyer
(2003)

"Method, system, program, and data structures for halftoning with line screens having different lines per inch (LPI)",
D. Dittrich, J. Mitchell, F. Obermeyer., G. Thompson, C. Wu
(2000)