John MacCormick

38 papers A* 6A 7Misc 1Journal 13Unranked 9

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