John Guttag
John Guttag
Unknown affiliation
Verified email at
Cited by
Cited by
Eulerian video magnification for revealing subtle changes in the world
HY Wu, M Rubinstein, E Shih, J Guttag, F Durand, W Freeman
ACM transactions on graphics (TOG) 31 (4), 1-8, 2012
Voxelmorph: a learning framework for deformable medical image registration
G Balakrishnan, A Zhao, MR Sabuncu, J Guttag, AV Dalca
IEEE transactions on medical imaging 38 (8), 1788-1800, 2019
Larch: languages and tools for formal specification
JV Guttag, JJ Horning
Springer Science & Business Media, 2012
Cutting the electric bill for internet-scale systems
A Qureshi, R Weber, H Balakrishnan, J Guttag, B Maggs
Proceedings of the ACM SIGCOMM 2009 conference on Data communication, 123-134, 2009
What is the state of neural network pruning?
D Blalock, JJ Gonzalez Ortiz, J Frankle, J Guttag
Proceedings of machine learning and systems 2, 129-146, 2020
ANTS: A toolkit for building and dynamically deploying network protocols
DJ Wetherall, JV Guttag, DL Tennenhouse
1998 IEEE Open Architectures and Network Programming, 117-129, 1998
Abstraction and specification in program development
B Liskov, J Guttag
MIT press, 1986
The algebraic specification of abstract data types
JV Guttag, JJ Horning
Acta informatica 10 (1), 27-52, 1978
Detecting pulse from head motions in video
G Balakrishnan, F Durand, J Guttag
Proceedings of the IEEE conference on computer vision and pattern …, 2013
An unsupervised learning model for deformable medical image registration
G Balakrishnan, A Zhao, MR Sabuncu, J Guttag, AV Dalca
Proceedings of the IEEE conference on computer vision and pattern …, 2018
Abstract data types and the development of data structures
J Guttag
Communications of the ACM 20 (6), 396-404, 1977
Application of machine learning to epileptic seizure detection
AH Shoeb, JV Guttag
Proceedings of the 27th international conference on machine learning (ICML …, 2010
A micro-power EEG acquisition SoC with integrated feature extraction processor for a chronic seizure detection system
N Verma, A Shoeb, J Bohorquez, J Dawson, J Guttag, AP Chandrakasan
IEEE journal of solid-state circuits 45 (4), 804-816, 2010
Abstract data types and software validation
JV Guttag, E Horowitz, DR Musser
Communications of the ACM 21 (12), 1048-1064, 1978
Data augmentation using learned transformations for one-shot medical image segmentation
A Zhao, G Balakrishnan, F Durand, JV Guttag, AV Dalca
Proceedings of the IEEE/CVF conference on computer vision and pattern …, 2019
The specification and application to programming of abstract data types.
JV Guttag
Patient-specific seizure onset detection
A Shoeb, H Edwards, J Connolly, B Bourgeois, ST Treves, J Guttag
Epilepsy & Behavior 5 (4), 483-498, 2004
A framework for understanding unintended consequences of machine learning
H Suresh, JV Guttag
arXiv preprint arXiv:1901.10002 2 (8), 73, 2019
The Larch Family of Specification Languages.
JV Guttag, JJ Horning, JM Wing
IEEE Softw. 2 (5), 24-36, 1985
Unsupervised learning for fast probabilistic diffeomorphic registration
AV Dalca, G Balakrishnan, J Guttag, MR Sabuncu
Medical Image Computing and Computer Assisted Intervention–MICCAI 2018: 21st …, 2018
The system can't perform the operation now. Try again later.
Articles 1–20