John MacCormick

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 7

Top Venues

CoRR

SIGCSE

Commun. ACM

EMMCVPR

University of Oxford, United Kingdom, UK (PHD)

Education History

University of Oxford, United Kingdom, UK

PHD

Publications

John MacCormick
Functional Programming and Streams. CoRR (2023)
John MacCormick
Using computer programs and search problems for teaching theory of computation. Commun. ACM 63 (10) (2020)
John MacCormick
Review of Problems with a Point: Exploring Math and Computer Science. SIGACT News 51 (1) (2020)
John MacCormick
Strategies for Basing the CS Theory Course on Non-decision Problems. SIGCSE (2018)
Grant Braught, John MacCormick, Jim Bowring, Quinn K. Burke, Barbara Cutler, David E. Goldschmidt, Mukkai S. Krishnamoorthy, Wesley Turner, Steven Huss-Lederman, Bonnie K. MacKellar, Allen B. Tucker
A Multi-Institutional Perspective on H/FOSS Projects in the Computing Curriculum. ACM Trans. Comput. Educ. 18 (2) (2018)
John MacCormick
Seeking Evidence for Basing the CS Theory Course on Non-decision Problems (Abstract Only). SIGCSE (2017)
John MacCormick
Strategies for basing the CS theory course on non-decision problems. CoRR (2017)
John MacCormick
Video chat with multiple cameras. CSCW Companion (2013)
John MacCormick, Andrew W. Fitzgibbon
Curvature Regularization for Resolution-Independent Images. EMMCVPR (2013)
John MacCormick
Video Chat with Multiple Cameras CoRR (2012)
Aleksandr Simma, Moisés Goldszmidt, John MacCormick, Paul Barham, Richard Black, Rebecca Isaacs, Richard Mortier
CT-NOR: Representing and Reasoning About Events in Continuous Time CoRR (2012)
Grant Braught, John MacCormick, Tim Wahls
The benefits of pairing by ability. SIGCSE (2010)
John MacCormick, Nicholas Murphy, Venugopalan Ramasubramanian, Udi Wieder, Junfeng Yang, Lidong Zhou
Kinesis: A new approach to replica placement in distributed storage systems. ACM Trans. Storage 4 (4) (2009)
Aleksandr Simma, Moisés Goldszmidt, John MacCormick, Paul Barham, Richard Black, Rebecca Isaacs, Richard Mortier
CT-NOR: Representing and Reasoning About Events in Continuous Time. UAI (2008)
Michael Isard, John MacCormick, Kannan Achan
Continuously-adaptive discretization for message-passing algorithms. NIPS (2008)
John MacCormick, Chandramohan A. Thekkath, Marcus Jager, Kristof Roomp, Lidong Zhou, Ryan Peterson
Niobe: A practical replication protocol. ACM Trans. Storage 3 (4) (2008)
Roxana Geambasu, Andrew Birrell, John MacCormick
Experiences with formal specification of fault-tolerant file systems. DSN (2008)
Úlfar Erlingsson, John MacCormick
Ad hoc extensibility and access control. ACM SIGOPS Oper. Syst. Rev. 40 (3) (2006)
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
Discovering Dependencies for Network Management. HotNets (2006)
Michael Isard, John MacCormick
Dense Motion and Disparity Estimation Via Loopy Belief Propagation. ACCV (2) (2006)
Oliver Williams, Michael Isard, John MacCormick
Estimating Disparity and Occlusions in Stereo Video Sequences. CVPR (2) (2005)
John MacCormick, Nick Murphy, Marc Najork, Chandramohan A. Thekkath, Lidong Zhou
Boxwood: Abstractions as the Foundation for Storage Infrastructure. OSDI (2004)
H. Harlyn Baker, Nina T. Bhatti, Donald Tanguay, Irwin Sobel, Dan Gelb, Michael E. Goss, John MacCormick, Kei Yuasa, W. Bruce Culbertson, Thomas Malzbender
Computation and performance issues In coliseum: an immersive videoconferencing system. ACM Multimedia (2003)
Marcos Kawazoe Aguilera, Minwen Ji, Mark Lillibridge, John MacCormick, Erwin Oertli, David G. Andersen, Michael Burrows, Timothy P. Mann, Chandramohan A. Thekkath
Block-Level Security for Network-Attached Disks. FAST (2003)
Fay W. Chang, Minwen Ji, Shun-Tak Leung, John MacCormick, Sharon E. Perl, Li Zhang
Myriad: Cost-Effective Disaster Tolerance. FAST (2002)
Jonathan Deutscher, Michael Isard, John MacCormick
Automatic Camera Calibration from a Single Manhattan Image. ECCV (4) (2002)
Michael Isard, John MacCormick
BraMBLe: A Bayesian Multiple-Blob Tracker. ICCV (2001)
Josephine Sullivan, Andrew Blake, Michael Isard, John MacCormick
Bayesian Object Localisation in Images. Int. J. Comput. Vis. 44 (2) (2001)
John MacCormick, Michael Isard
Partitioned Sampling, Articulated Objects, and Interface-Quality Hand Tracking. ECCV (2) (2000)
John MacCormick, Andrew Blake
A Probabilistic Exclusion Principle for Tracking Multiple Objects. Int. J. Comput. Vis. 39 (1) (2000)
Vladimir Pavlovic, James M. Rehg, John MacCormick
Learning Switching Linear Models of Human Motion. NIPS (2000)
John MacCormick, Andrew Blake
A Probabilistic Exclusion Principle for Tracking Multiple Objects. ICCV (1999)
Josephine Sullivan, Andrew Blake, Michael Isard, John MacCormick
Object Localization by Bayesian Correlation. ICCV (1999)
John MacCormick, Andrew Blake
Spatial Dependence in the Observation of Visual Contours. ECCV (2) (1998)
John MacCormick, Andrew Blake
A Probabilistic Contour Discriminant for Object Localisation. ICCV (1998)

John MacCormick.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

John MacCormick