John MacCormick

CoRR, 2023

2020

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

[BibT_eX]

[DOI]

SIGACT News, 2020

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

[BibT_eX]

[DOI]

Commun. ACM, 2020

2018

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

[BibT_eX]

[DOI]

Mukkai S. Krishnamoorthy

ACM Trans. Comput. Educ., 2018

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

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

2013

Curvature Regularization for Resolution-Independent Images.

[BibT_eX]

[DOI]

Andrew W. Fitzgibbon

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

Video chat with multiple cameras.

[BibT_eX]

[DOI]

Proceedings of the Computer Supported Cooperative Work, 2013

2010

The benefits of pairing by ability.

[BibT_eX]

[DOI]

Grant Braught

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.

[BibT_eX]

[DOI]

Venugopalan Ramasubramanian

Nicholas Murphy

Udi Wieder

Junfeng Yang

Lidong Zhou

ACM Trans. Storage, 2009

2008

Niobe: A practical replication protocol.

[BibT_eX]

[DOI]

Chandramohan A. Thekkath

ACM Trans. Storage, 2008

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

[BibT_eX]

[DOI]

Proceedings of the UAI 2008, 2008

Continuously-adaptive discretization for message-passing algorithms.

[BibT_eX]

[DOI]

Kannan Achan

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

Experiences with formal specification of fault-tolerant file systems.

[BibT_eX]

[DOI]

Roxana Geambasu

Andrew Birrell

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

2006

Ad hoc extensibility and access control.

[BibT_eX]

[DOI]

Úlfar Erlingsson

ACM SIGOPS Oper. Syst. Rev., 2006

Discovering Dependencies for Network Management.

[BibT_eX]

[DOI]

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

Dense Motion and Disparity Estimation Via Loopy Belief Propagation.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision, 2006

2005

Estimating Disparity and Occlusions in Stereo Video Sequences.

[BibT_eX]

[DOI]

Oliver Williams

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Eleventh ACM International Conference on Multimedia, 2003

Block-Level Security for Network-Attached Disks.

[BibT_eX]

[DOI]

Marcos Kawazoe Aguilera

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.

[BibT_eX]

[DOI]

PhD thesis, 2002

Myriad: Cost-Effective Disaster Tolerance.

[BibT_eX]

[DOI]

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

Automatic Camera Calibration from a Single Manhattan Image.

[BibT_eX]

[DOI]

Jonathan Deutscher

Proceedings of the Computer Vision, 2002

2001

Bayesian Object Localisation in Images.

[BibT_eX]

[DOI]

Int. J. Comput. Vis., 2001

BraMBLe: A Bayesian Multiple-Blob Tracker.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Sequential Monte Carlo Methods in Practice, 2001

2000

A Probabilistic Exclusion Principle for Tracking Multiple Objects.

[BibT_eX]

[DOI]

Int. J. Comput. Vis., 2000

Learning Switching Linear Models of Human Motion.

[BibT_eX]

[DOI]

Vladimir Pavlovic

James M. Rehg

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

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

[BibT_eX]

[DOI]

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

1999

Object Localization by Bayesian Correlation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer Vision, 1999

1998

A Probabilistic Contour Discriminant for Object Localisation.

[BibT_eX]

[DOI]

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

Spatial Dependence in the Observation of Visual Contours.

[BibT_eX]

[DOI]