John MacCormick

According to our database, John MacCormick authored at least 33 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Functional Programming and Streams.

John MacCormick

CoRR, 2023

2020

Review of Problems with a Point: Exploring Math and Computer Science.

John MacCormick

SIGACT News, 2020

Using computer programs and search problems for teaching theory of computation.

John MacCormick

Commun. ACM, 2020

2018

A Multi-Institutional Perspective on H/FOSS Projects in the Computing Curriculum.

Grant Braught, John MacCormick, Jim Bowring, Quinn Burke, Barbara Cutler, David E. Goldschmidt, Mukkai S. Krishnamoorthy, Wesley Turner, Steven Huss-Lederman, Bonnie K. MacKellar, Allen B. Tucker

ACM Trans. Comput. Educ., 2018

Strategies for Basing the CS Theory Course on Non-decision Problems.

John MacCormick

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

2017

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, 2017

2013

Curvature Regularization for Resolution-Independent Images.

John MacCormick, Andrew W. Fitzgibbon

Proceedings of the Energy Minimization Methods in Computer Vision and Pattern Recognition, 2013

Video chat with multiple cameras.

John MacCormick

Proceedings of the Computer Supported Cooperative Work, 2013

2010

The benefits of pairing by ability.

Grant Braught, John MacCormick, Tim Wahls

Proceedings of the 41st ACM technical symposium on Computer science education, 2010

2009

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, 2009

2008

Niobe: A practical replication protocol.

John MacCormick, Chandramohan A. Thekkath, Marcus Jager, Kristof Roomp, Lidong Zhou, Ryan Peterson

ACM Trans. Storage, 2008

CT-NOR: Representing and Reasoning About Events in Continuous Time.

Aleksandr Simma, Moisés Goldszmidt, John MacCormick, Paul Barham, Richard Black, Rebecca Isaacs, Richard Mortier

Proceedings of the UAI 2008, 2008

Continuously-adaptive discretization for message-passing algorithms.

Michael Isard, John MacCormick, Kannan Achan

Proceedings of the Advances in Neural Information Processing Systems 21, 2008

Experiences with formal specification of fault-tolerant file systems.

Roxana Geambasu, Andrew Birrell, John MacCormick

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

2006

Ad hoc extensibility and access control.

Úlfar Erlingsson, John MacCormick

ACM SIGOPS Oper. Syst. Rev., 2006

Discovering Dependencies for Network Management.

Paramvir Bahl, Paul Barham, Richard Black, Ranveer Chandra, Moisés Goldszmidt, Rebecca Isaacs, Srikanth Kandula, Lun Li, John MacCormick, David A. Maltz, Richard Mortier, Mike Wawrzoniak, Ming Zhang

Proceedings of the 5th ACM Workshop on Hot Topics in Networks, 2006

Dense Motion and Disparity Estimation Via Loopy Belief Propagation.

Michael Isard, John MacCormick

Proceedings of the Computer Vision, 2006

2005

Estimating Disparity and Occlusions in Stereo Video Sequences.

Oliver Williams, Michael Isard, John MacCormick

Proceedings of the 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2005), 2005

2004

Boxwood: Abstractions as the Foundation for Storage Infrastructure.

John MacCormick, Nick Murphy, Marc Najork, Chandramohan A. Thekkath, Lidong Zhou

Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004

2003

Computation and performance issues In coliseum: an immersive videoconferencing system.

H. Harlyn Baker, Nina T. Bhatti, Donald Tanguay, Irwin Sobel, Dan Gelb, Michael E. Goss, John MacCormick, Kei Yuasa, W. Bruce Culbertson, Thomas Malzbender

Proceedings of the Eleventh ACM International Conference on Multimedia, 2003

Block-Level Security for Network-Attached Disks.

Marcos Kawazoe Aguilera, Minwen Ji, Mark Lillibridge, John MacCormick, Erwin Oertli, David G. Andersen, Michael Burrows, Timothy P. Mann, Chandramohan A. Thekkath

Proceedings of the FAST '03 Conference on File and Storage Technologies, March 31, 2003

2002

Stochastic algorithms for visual tracking: probabilistic modelling and stochastic algorithms for visual localisation and tracking.

John MacCormick

PhD thesis, 2002

Myriad: Cost-Effective Disaster Tolerance.

Fay W. Chang, Minwen Ji, Shun-Tak Leung, John MacCormick, Sharon E. Perl, Li Zhang

Proceedings of the FAST '02 Conference on File and Storage Technologies, 2002

Automatic Camera Calibration from a Single Manhattan Image.

Jonathan Deutscher, Michael Isard, John MacCormick

Proceedings of the Computer Vision, 2002

2001

Bayesian Object Localisation in Images.

Josephine Sullivan, Andrew Blake, Michael Isard, John MacCormick

Int. J. Comput. Vis., 2001

BraMBLe: A Bayesian Multiple-Blob Tracker.

Michael Isard, John MacCormick

Proceedings of the Eighth International Conference On Computer Vision (ICCV-01), Vancouver, British Columbia, Canada, July 7-14, 2001, 2001

Statistical Models of Visual Shape and Motion.

Andrew Blake, Michael Isard, John MacCormick

Proceedings of the Sequential Monte Carlo Methods in Practice, 2001

2000

A Probabilistic Exclusion Principle for Tracking Multiple Objects.

John MacCormick, Andrew Blake

Int. J. Comput. Vis., 2000

Learning Switching Linear Models of Human Motion.

Vladimir Pavlovic, James M. Rehg, John MacCormick

Proceedings of the Advances in Neural Information Processing Systems 13, 2000

Partitioned Sampling, Articulated Objects, and Interface-Quality Hand Tracking.

John MacCormick, Michael Isard

Proceedings of the Computer Vision - ECCV 2000, 6th European Conference on Computer Vision, Dublin, Ireland, June 26, 2000

1999

Object Localization by Bayesian Correlation.

Josephine Sullivan, Andrew Blake, Michael Isard, John MacCormick

Proceedings of the International Conference on Computer Vision, 1999

1998

A Probabilistic Contour Discriminant for Object Localisation.

John MacCormick, Andrew Blake

Proceedings of the Sixth International Conference on Computer Vision (ICCV-98), 1998

Spatial Dependence in the Observation of Visual Contours.

John MacCormick, Andrew Blake

Proceedings of the Computer Vision, 1998