Michael Dixon

According to our database, Michael Dixon authored at least 24 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2023

Polynomial Bounds for Learning Noisy Optical Physical Unclonable Functions and Connections to Learning With Errors.

Apollo Albright, Boris Gelfand, Michael Dixon

CoRR, 2023

2022

Artificial intelligence - Based video traffic policing for next generation networks.

Khandu Om, Randeep Singh, Snehdeep, Amandeep Kaur, Deepika, Anureet Kaur, Tanya McGill, Michael Dixon, Kok Wai Wong, Polychronis Koutsakis

Simul. Model. Pract. Theory, 2022

zkQMC: Zero-Knowledge Proofs For (Some) Probabilistic Computations Using Quasi-Randomness.

Zachary DeStefano, Dani Barrack, Michael Dixon

IACR Cryptol. ePrint Arch., 2022

2021

The NCAR Airborne 94-GHz Cloud Radar: Calibration and Data Processing.

Ulrike Romatschke, Michael Dixon, Pei-Sang Tsai, Eric Loew, Jothiram Vivekanandan, Jonathan M. Emmett, Robert Rilling

Data, 2021

2019

Using Binary Analysis Frameworks: The Case for BAP and angr.

Chris Casinghino, J. T. Paasch, Cody Roux, John Altidor, Michael Dixon, Dustin Jamner

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2014

Numerical Tic-Tac-Toe on the 4×4 Board.

Bryce Sandlund, Kerrick Staley, Michael Dixon, Steve Butler

Proceedings of the Computing and Combinatorics - 20th International Conference, 2014

2012

Ion-Specific Nutrient Management in Closed Systems: The Necessity for Ion-Selective Sensors in Terrestrial and Space-Based Agriculture and Water Management Systems.

Matthew Bamsey, Thomas Graham, Cody Thompson, Alain Berinstain, Alan Scott, Michael Dixon

Sensors, 2012

2011

Measuring optical distortion in aircraft transparencies: a fully automated system for quantitative evaluation.

Michael Dixon, Robert Glaubius, Philip Freeman, Robert Pless, Michael P. Gleason, Matthew M. Thomas, William D. Smart

Mach. Vis. Appl., 2011

On analyzing video with very small motions.

Michael Dixon, Austin Abrams, Nathan Jacobs, Robert Pless

Proceedings of the 24th IEEE Conference on Computer Vision and Pattern Recognition, 2011

2009

An external logic processor for NTCIP-based traffic controllers: Proof of concept for data exchange capability.

Sk Monsur Ahmed, Ahmed Abdel-Rahim, Michael Dixon

Proceedings of the 12th International IEEE Conference on Intelligent Transportation Systems, 2009

An efficient system for vehicle tracking in multi-camera networks.

Michael Dixon, Nathan Jacobs, Robert Pless

Proceedings of the Third ACM/IEEE International Conference on Distributed Smart Cameras, 2009

Efficient tracking of many objects in structured environments.

Nathan Jacobs, Michael Dixon, Scott Satkin, Robert Pless

Proceedings of the 12th IEEE International Conference on Computer Vision Workshops, 2009

Persistence and tracking: Putting vehicles and trajectories in context.

Robert Pless, Michael Dixon, Nathan Jacobs, Patrick Baker, Nicholas L. Cassimatis, Derek P. Brock, Ralph Hartley, Dennis Perzanowski

Proceedings of the 2009 IEEE Applied Imagery Pattern Recognition Workshop, 2009

2007

Faster and more accurate face detection on mobile robots using geometric constraints.

Michael Dixon, Frederick Heckel, Robert Pless, William D. Smart

Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29, 2007

2006

Finding Minimal Parameterizations of Cylindrical Image Manifolds.

Michael Dixon, Nathan Jacobs, Robert Pless

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2006

2004

Say Cheese! Experiences with a Robot Photographer.

Zachary Byers, Michael Dixon, William D. Smart, Cindy Grimm

AI Mag., 2004

2003

Lewis the Graduate Student: An Entry in the AAAI Robot Challenge.

William D. Smart, Michael Dixon, Nik A. Melchior, Joseph A. Tucek, Ashwin Srinivas

Proceedings of the AAAI Mobile Robot Competition 2003, Papers from the AAAI Workshop, 2003

An autonomous robot photographer.

Zachary Byers, Michael Dixon, Kevin Goodier, Cindy M. Grimm, William D. Smart

Proceedings of the 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems, Las Vegas, Nevada, USA, October 27, 2003

1999

Responsive offsite office environments.

Scott Elrod, Gene Hall, Rick Costanza, Michael Dixon, Jim des Rivières

ACM SIGMOBILE Mob. Comput. Commun. Rev., 1999

1995

High-Latency, Low-Bandwidth Windowing in the Jupiter Collaboration System.

David A. Nichols, Pavel Curtis, Michael Dixon, John Lamping

Proceedings of the 8th Annual ACM Symposium on User Interface Software and Technology, 1995

The Jupiter Audio/Video Architecture: Secure Multimedia in Network Places.

Pavel Curtis, Michael Dixon, Ron Frederick, David A. Nichols

Proceedings of the Third ACM International Conference on Multimedia '95, 1995

1993

Responsive Office Environments.

Scott Elrod, Gene Hall, Rick Costanza, Michael Dixon, Jim des Rivières

Commun. ACM, 1993

1991

Compose-Reduce Parsing.

Henry S. Thompson, Michael Dixon, John Lamping

Proceedings of the 29th Annual Meeting of the Association for Computational Linguistics, 1991

1988

Massively Parallel Assumption-Based Truth Maintenance.

Michael Dixon, Johan de Kleer

Proceedings of the Non-Monotonic Reasoning, 1988