default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJohn MacCormick
Person information
- affiliation: Dickinson College, Carlisle, PA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2002
[b1]John MacCormick:
Stochastic algorithms for visual tracking: probabilistic modelling and stochastic algorithms for visual localisation and tracking. University of Oxford, United Kingdom, UK, Springer 2002, ISBN 1-85233-601-3, pp. 1-174
Journal Articles
- 2023
- [j9]John MacCormick:
Functional Programming, in the Data Structures Course, in Java. J. Comput. Sci. Coll. 38(8): 80-90 (2023) - 2020
- [j8]John MacCormick:
Using computer programs and search problems for teaching theory of computation. Commun. ACM 63(10): 33-35 (2020) - [j7]John MacCormick:
Review of Problems with a Point: Exploring Math and Computer Science. SIGACT News 51(1): 12-14 (2020) - 2018
- [j6]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:
A Multi-Institutional Perspective on H/FOSS Projects in the Computing Curriculum. ACM Trans. Comput. Educ. 18(2): 7:1-7:31 (2018) - 2009
- [j5]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): 11:1-11:28 (2009) - 2008
- [j4]John MacCormick, Chandramohan A. Thekkath, Marcus Jager, Kristof Roomp, Lidong Zhou, Ryan Peterson:
Niobe: A practical replication protocol. ACM Trans. Storage 3(4): 1:1-1:43 (2008) - 2006
- [j3]Úlfar Erlingsson, John MacCormick:
Ad hoc extensibility and access control. ACM SIGOPS Oper. Syst. Rev. 40(3): 93-101 (2006) - 2001
- [j2]Josephine Sullivan, Andrew Blake, Michael Isard, John MacCormick:
Bayesian Object Localisation in Images. Int. J. Comput. Vis. 44(2): 111-135 (2001) - 2000
- [j1]John MacCormick, Andrew Blake:
A Probabilistic Exclusion Principle for Tracking Multiple Objects. Int. J. Comput. Vis. 39(1): 57-71 (2000)
Conference and Workshop Papers
- 2018
- [c23]John MacCormick:
Strategies for Basing the CS Theory Course on Non-decision Problems. SIGCSE 2018: 521-526 - 2017
- [c22]John MacCormick:
Seeking Evidence for Basing the CS Theory Course on Non-decision Problems (Abstract Only). SIGCSE 2017: 700 - 2013
- [c21]John MacCormick:
Video chat with multiple cameras. CSCW Companion 2013: 195-198 - [c20]John MacCormick, Andrew W. Fitzgibbon:
Curvature Regularization for Resolution-Independent Images. EMMCVPR 2013: 165-179 - 2010
- [c19]Grant Braught, John MacCormick, Tim Wahls:
The benefits of pairing by ability. SIGCSE 2010: 249-253 - 2008
- [c18]Roxana Geambasu, Andrew Birrell, John MacCormick:
Experiences with formal specification of fault-tolerant file systems. DSN 2008: 96-101 - [c17]Michael Isard, John MacCormick, Kannan Achan:
Continuously-adaptive discretization for message-passing algorithms. NIPS 2008: 737-744 - [c16]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: 484-493 - 2006
- [c15]Michael Isard, John MacCormick:
Dense Motion and Disparity Estimation Via Loopy Belief Propagation. ACCV (2) 2006: 32-41 - [c14]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 - 2005
- [c13]Oliver Williams, Michael Isard, John MacCormick:
Estimating Disparity and Occlusions in Stereo Video Sequences. CVPR (2) 2005: 250-257 - 2004
- [c12]John MacCormick, Nick Murphy, Marc Najork, Chandramohan A. Thekkath, Lidong Zhou:
Boxwood: Abstractions as the Foundation for Storage Infrastructure. OSDI 2004: 105-120 - 2003
- [c11]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 - [c10]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: 470-479 - 2002
- [c9]Jonathan Deutscher, Michael Isard, John MacCormick:
Automatic Camera Calibration from a Single Manhattan Image. ECCV (4) 2002: 175-205 - [c8]Fay W. Chang, Minwen Ji, Shun-Tak Leung, John MacCormick, Sharon E. Perl, Li Zhang:
Myriad: Cost-Effective Disaster Tolerance. FAST 2002: 103-116 - 2001
- [c7]Michael Isard, John MacCormick:
BraMBLe: A Bayesian Multiple-Blob Tracker. ICCV 2001: 34-41 - 2000
- [c6]John MacCormick, Michael Isard:
Partitioned Sampling, Articulated Objects, and Interface-Quality Hand Tracking. ECCV (2) 2000: 3-19 - [c5]Vladimir Pavlovic, James M. Rehg, John MacCormick:
Learning Switching Linear Models of Human Motion. NIPS 2000: 981-987 - 1999
- [c4]John MacCormick, Andrew Blake:
A Probabilistic Exclusion Principle for Tracking Multiple Objects. ICCV 1999: 572-578 - [c3]Josephine Sullivan, Andrew Blake, Michael Isard, John MacCormick:
Object Localization by Bayesian Correlation. ICCV 1999: 1068-1075 - 1998
- [c2]John MacCormick, Andrew Blake:
Spatial Dependence in the Observation of Visual Contours. ECCV (2) 1998: 765-781 - [c1]John MacCormick, Andrew Blake:
A Probabilistic Contour Discriminant for Object Localisation. ICCV 1998: 390-395
Parts in Books or Collections
- 2001
- [p1]Andrew Blake, Michael Isard, John MacCormick:
Statistical Models of Visual Shape and Motion. Sequential Monte Carlo Methods in Practice 2001: 339-357
Informal and Other Publications
- 2023
- [i4]John MacCormick:
Functional Programming and Streams. CoRR abs/2302.09403 (2023) - 2017
- [i3]John MacCormick:
Strategies for basing the CS theory course on non-decision problems. CoRR abs/1712.03069 (2017) - 2012
- [i2]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 abs/1206.3280 (2012) - [i1]John MacCormick:
Video Chat with Multiple Cameras. CoRR abs/1209.1399 (2012)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-07-02 19:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
