Publications by John MacCormick

Books

• What Can Be Computed?: A Practical Guide to the Theory of Computation.
  J. MacCormick.
  Forthcoming from Princeton University Press in February 2018.
• Nine Algorithms That Changed the Future: The Ingenious Ideas That Drive Today's Computers.
  J. MacCormick.
  Princeton, 2012. 248pp
• Stochastic Algorithms for Visual Tracking.
  J. MacCormick.
  Springer, 2002. 174pp.

Peer-reviewed conference papers

• Curvature regularization for resolution-independent images.
  John MacCormick and Andrew Fitzgibbon.
  In Proc. Intl. Conf. Energy Minimization Methods in Computer Vision and Pattern Recognition (EMMCVPR'13).
  Springer, Lecture Notes in Computer Science Volume 8081, pp 165-179, 2013.
  The link above is for the version typeset by the authors. The official published version is available from Springer.
  An extended version is also available as a technical report.

• The Benefits of Pairing by Ability.
  Grant Braught, John MacCormick, and Tim Wahls.
  In Proc. ACM SIGCSE, 2010.

• Fast Superpixels for Video Analysis.
  Fabio Drucker and John MacCormick.
  In Proc. IEEE Workshop on Motion and Video Computing (WMVC), 2009.
  Java code: PathFinder.zip.

• Continuously-adaptive discretization for message-passing algorithms.
  Kannan Achan, Michael Isard, John MacCormick.
  In Proc. Neural Information Processing Systems (NIPS), 2008.

• CT-NOR: Representing and Reasoning About Events in Continuous Time.
  Aleksandr Simma, Moises Goldszmidt, John MacCormick, Paul Barham, Richard Black, Rebecca Isaacs, Richard Mortier.
  In Proc. Uncertainty in Artificial Intelligence (UAI), 2008.

• Experiences with Formal Specification of Fault-Tolerant File Systems.
  Roxana Geambasu, Andrew Birrell, and John MacCormick.
  In Proc. Dependable Computing and Communications Symposium (DCCS), 2008.

• Discovering Dependencies for Network Management.
  Paramvir Bahl, Paul Barham, Richard Black, Ranveer Chandra, Moises Goldszmidt, Rebecca Isaacs, Srikanth Kandula, Lun Li, John MacCormick, David A. Maltz, Richard Mortier, Mike Wawrzoniak, Ming Zhang.
  In HotNets'06.

• Dense Motion and Disparity Estimation via Loopy Belief Propagation.
  Michael Isard and John MacCormick.
  In ACCV 2006, Hyderabad, India, January 2006.

• Estimating Disparity and Occlusions in Stereo Video Sequences.
  Oliver Williams, Michael Isard and John MacCormick.
  In CVPR 2005, San Diego, USA, June 2005.

• Boxwood: Abstractions as the Foundation for Storage Infrastructure.
  John MacCormick, Nick Murphy, Marc Najork, Chandramohan A. Thekkath, Lidong Zhou
  In OSDI 2004, pages 105-120.

• Computational and performance issues in Coliseum, an immersive videoconferencing system.
  H. Harlyn Baker, Nina Bhatti, Donald Tanguay, Irwin Sobel, Dan Gelb, Michael E. Goss, John MacCormick, W. Bruce Culbertson, and Thomas Malzbender.
  In Proc. 11th ACM Int. Conf. on Multimedia, 2003.

• Block-based security for network-attached disks.
  M. Ji, M. Lillibridge, J. MacCormick, E. Oertli, M. Aguilera, D. Andersen, M. Burrows, T. Mann, and C. Thekkath.
  In Proc. Usenix Conf. on File and Storage Technology (FAST'03), pages 159-174, 2003.

• Automatic camera calibration from a single Manhattan image.
  M. Isard and J. MacCormick.
  In European Conf. Computer Vision, 2002.

• Myriad: Cost-effective disaster tolerance.
  F. Chang, M. Ji, S. Leung, J. MacCormick, S. Perl, and L. Zhang.
  In Usenix Conf. on File and Storage Technology (FAST'02), pages 103-116, 2002.

• BraMBLe: A Bayesian Multiple-Blob Tracker.
  M. Isard and J. MacCormick.
  In Proc. 8th Int. Conf. Computer Vision, 2001.

• Learning switching linear models of human motion.
  V. Pavlovic, J. Rehg, and J. MacCormick.
  In Neural Information Processing Systems, 2000.

• Partitioned sampling, articulated objects, and interface-quality hand tracking.
  J. MacCormick and M. Isard.
  In Proc European Conf. Computer Vision, 2000.
  Demo (clunky by modern standards, but it was 1999, after all).

• A probabilistic exclusion principle for tracking multiple objects.
  J. MacCormick and A. Blake.
  In Proc. 7th Intl. Conf. Computer Vision, pages 572-587, 1999.

• Object localisation by Bayesian correlation.
  J. Sullivan, A. Blake, M. Isard, and J. MacCormick.
  In Proc. 7th Intl. Conf. Computer Vision, pages 1068-1075, 1999.

• Spatial dependence in the observation of visual contours.
  J. MacCormick and A. Blake.
  In Proc. 5th European Conf. Computer Vision, pages 765-81, 1998.

• A probabilistic contour discriminant for object localisation.
  J. MacCormick and A. Blake.
  In Proc. 6th Int. Conf. Computer Vision, pages 390-95, 1998

Book chapters

• Statistical models of shape and motion.
  A. Blake, M. Isard, and J. MacCormick.
  Sequential Monte Carlo methods in practice, ed. A. Doucet, J.F.G. de Freitas and N.J. Gordon, pages 339-357. Springer, 2000.
  Earlier version available as a journal article.

• A geometrical approach to calculating determinants of Wiener-Hopf operators.
  J. MacCormick and B. Pavlov.
  In A. Bohm, H. Doebner, and P. Kielanowski, editors, Irreversibility and causality: semigroups and rigged Hilbert spaces, pages 333-42. Springer, 1998.
  Full version available as a technical report.

Journal articles

• Differences in Judgments of Creativity: How Do Academic Domain, Personality, and Self-Reported Creativity Influence Novice Judges’ Evaluations of Creative Productions?.
  Mei Tan, Catalina Mourgues, Sascha Hein, John MacCormick, Baptiste Barbot, and Elena Grigorenko.
  J. Intell., 3(3), 2015, pages 73-90. Abstract, pdf.

• Kinesis: A New Approach to Replica Placement in Distributed Storage Systems.
  John MacCormick, Nicholas Murphy, Venugopalan Ramasubramanian, Udi Wieder, Junfeng Yang, Lidong Zhou
  ACM Trans. Storage, 4(4), 2009, pages 1-28.

• Niobe: A Practical Replication Protocol.
  John MacCormick, Chandu Thekkath, Marcus Jager, Kristof Roomp, Lidong Zhou, Ryan Peterson.
  ACM Trans. Storage, 3(4), 2008, pages 1-43.

• Ad hoc Extensibility and Access Control.
  U. Erlingsson and J. MacCormick.
  ACM Operating Systems Review, July 2006.

• Bayesian object localisation in images.
  J. Sullivan, A. Blake, M. Isard, and J. MacCormick.
  Intl J. Computer Vision, 44(2):111-135, 2001.

• Probabilistic exclusion and partitioned sampling for multiple object tracking.
  J. MacCormick and A. Blake.
  Intl J. Computer Vision, 39(1):57-71, 2000.

• Statistical models of shape and motion.
  A. Blake, B. Bascle, M. Isard, and J. MacCormick.
  Phil. Trans. R. Soc. Lond. A, 356:1283-1302, 1998.

• Spectral theory of Wiener-Hopf operators and functional model.
  J. MacCormick and B. Pavlov.
  Operator Theory: Advances and Applications, 123:434-452, 2001.

• Rearranging the Davenport formula.
  J. MacCormick.
  N.Z. J. Math. 26(2), pages 101-11, 1997.

Other publications

• Seeking Evidence for Basing the CS Theory Course on Non-decision Problems (Abstract Only).
  John MacCormick.
  Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education (SIGCSE '17), page 700 (2017).

• Review of The Thrilling Adventures of Lovelace and Babbage: The (Mostly) True Story of the First Computer. (Plain text.)
  John MacCormick.
  Math Horizons, p16, February 2017.

• Alan Turing and the Turing Test. (Plain text; e-magazine.)
  John MacCormick.
  Dickinson Science Magazine, volume 1, issue 2, p31 (2014).

• Curvature regularization for resolution-independent images.
  John MacCormick and Andrew Fitzgibbon.
  Dickinson College technical report. May, 2013.

• Video Chat with Multiple Cameras.
  John MacCormick.
  Extended abstract in Proc. ACM CSCW Companion, 2013.
  Also available as a poster; a 10-page version (this is probably the most useful version for a first reading); and a technical report.

• Video Chat with Multiple Cameras.
  J. MacCormick.
  Technical report, Dickinson College, 2012.
  Also available as on arXiv as arXiv:1209.1399 [cs.MM].

• Gli algoritmi del successo.
  J. MacCormick (translated by Maria Sepa).
  Corriere Della Sera, La Lettura, p7, 15 Jan 2012.

• The efficiency of methods for storing capabilities and revocations in a secure SAN.
  J. MacCormick.
  Technical note 2002-005, HP Systems Research Center, Palo Alto, California, 2002.

• Constellation: automated discovery of service and host dependencies in networked systems.
  Barham, P., Black, R., Goldszmidt, M., Isaacs, R., MacCormick, J., Mortier, R., and Simma, A.
  Microsoft Research Technical Report, MSR-TR-2008-67, 2008.

• Hand tracking for vision-based drawing.
  M. Isard and J. MacCormick.
  Technical report, Visual Dynamics Group, Dept. Eng. Science, University of Oxford, 2000.

• Probabilistic modelling and stochastic algorithms for visual localisation and tracking.
  J. MacCormick.
  PhD thesis, University of Oxford, 2000.

• Learning switching linear models of human motion.
  V. Pavlovich, J. Rehg, J. MacCormick.
  Technical report 99-15, HP Cambridge Research Laboratory, 1999.

• A Bayesian theory of multi-scale cross-correlation in images.
  A. Blake, J. Sullivan, M. Isard and J. MacCormick.
  In K. Mardia, R. Aykroyd, and I. Dryden, editors, Spatial-temporal modelling and its applications, 18th LASR Workshop, Leeds University Press, 1999.

• Towards tracker initialisation by random sampling.
  J. MacCormick and A. Blake.
  In K. Mardia, C. Gill, and R. Aykroyd, editors, The Art and Science of Bayesian Image Analysis, pages 184-188, 17th LASR Workshop, Leeds University Press, 1997.