Follow

Dissertations from 2010

PDF

Multiple-Cue Object Recognition for Interactionable Objects, Sarah Aboutalib

PDF

k+ Decision Trees, J. Aspnes, Eric Blais, Ryan O'Donnell, M. Demirbas, A. Rudra, and S. Uurtamo

PDF

Clustering Under Natural Stability Assumptions, Pranjal Awasthi, Avrim Blum, and Or Sheffet

PDF

Improved Guarantees for Agnostic Learning of Disjunctions, Pranjal Awasthi, Avrim Blum, and Or Sheffet

PDF

Learning Generative Models for Protein Fold Families, Sivaraman Balakrishnan, Hetunandan Kamisetty, Jaime G. Carbonell, and Christopher J. Langmead

PDF

Circumventing the Price of Anarchy: Leading Dynamics to Good Behavior, Maria-Florina Balcan, Avrim Blum, and Yishay Mansour

PDF

A Constant Factor Approximation Algorithm for Generalized Min-Sum Set Cover, Nikhil Bansal, Anupam Gupta, and Ravishankar Krishnaswamy

PDF

When LP is the Cure for Your Matching Woes: Approximating Stochastic Matchings, Nikhil Bansal, Anupam Gupta, Viswanath Nagarajan, and Atri Rudra

PDF

Session Types as Intuitionistic Linear Propositions, Luis Caires and Frank Pfenning

PDF

Planning pre-grasp manipulation for transport tasks, Lillian Y. Chang, Siddartha S. Srinivasa, and Nancy Pollard

PDF

SplitScreen: Enabling Efficient, Distributed Malware Detection, Sang Kil Cha, Iulian Moraru, Jiyong Jang, John Truelove, David Brumley, and David G. Andersen

PDF

Exploiting Multi-level Parallelism for Low-latency Activity Recognition in Streaming Video, Ming-Yu Chen, Lily Mummert, Padmanabhan Pillai, Alexander Hauptmann, and Rahul Sukthankar

PDF

Hardness Results for Agnostically Learning Low-Degree Polynomial Threshold Functions, Ilias Diakonikolas, Ryan O'Donnell, Rocco A. Servedio, and Yi Wu

PDF

Algorithms and Models for Problems in Networking, Michael Dinitz

PDF

Vertex Sparsifiers: New Results from Old Techniques, Matthias Englert, Anupam Gupta, Robert Krauthgamer, Harald Racke, Inbal Talgam-Cohen, and Kunal Talwar

PDF

Network Protocol Primer, David Feinberg

PDF

DiscFinder: A Data-Intensive Scalable Cluster Finder for Astrophysics, Bin Fu, Kai Ren, Julio Lopez, Eugene Fink, and Garth Gibson

PDF

Computing Equilibria by Incorporating Qualitative Models, Sam Ganzfried and Tuomas W. Sandholm

PDF

Computing Equilibria by Incorporating Qualitative Models, Sam Ganzfried and Tuomas W. Sandholm

PDF

A Proof-Carrying File System, Deepak Garg and Frank Pfenning

PDF

Speeding Up Gradient-Based Algorithms for Sequential Games, Andrew Gilpin and Tuomas W. Sandholm

PDF

Fooling Functions of Halfspaces under Product Distributions, Parikshit Gopalan, Ryan O'Donnell, Yi Wu, and David Zuckerman

PDF

Approximation Algorithms for Optimal Decision Trees and Adaptive TSP Problems, Anupam Gupta, Ravishankar Krishnaswamy, Viswanath Nagarajan, and R. Ravi

PDF

Tree Embeddings for Two-Edge-Connected Network Design, Anupam Gupta, Ravishankar Krishnaswamy, and R. Ravi

PDF

Forest Density Estimation, Anupam Gupta, John Lafferty, Han Liu, Larry Wasserman, and Min Xiu

PDF

Constrained Non-Monotone Submodular Maximization: Offline and Secretary Algorithms, Anupam Gupta, Aaron Roth, Grant Schoenebeck, and Kunal Talwar

PDF

SDP gaps for 2-to-1 and other Label-Cover variants, Venkatesan Guruswami, Subash Khot, Ryan O'Donnell, Preyas Popat, Madhur Tulsiani, and Yi Wu

PDF

Model Validation and Discovery for Complex Stochastic Systems, Sumit Kumar Jha

PDF

ATLAS: A Scalable and High-Performance Scheduling Algorithm for Multiple Memory Controllers, Yoongu Kim, Dongsu Han, Onur Mutlu, and Mor Harchol-Balter

PDF

Approaching Optimality For Solving SDD Linear Systems, Ioannis Koutis, Gary Miller, and Richard Peng

PDF

2-Dimensional Directed Dependent Type Theory, Daniel R. Licata and Robert Harper

PDF

A Monadic Formalization of ML5, Daniel R. Licata and Robert Harper

PDF

BoLeRO: A Principled Technique for Including Bone Length Constraints in Motion Capture Occlusion Filling, Lei Li, James McCann, Nancy Pollard, and Christos Faloutsos

PDF

BEMC: A Searchable, Compressed Representation for Large Seismic Wavefields, Julio Lopez, Leonardo Ramirez-Guzman, Jacobo Bielak, and David R. O'Hallaron

PDF

Refinement Types for Logical Frameworks, William Lovas

PDF

Refinement types for logical frameworks and their interpretation as proof irrelevance, William Lovas and Frank Pfenning

PDF

Instrumentation Analysis: An Automated Method for Producing Numeric Abstractions of Heap-Manipulating Programs, Stephen Magill

PDF

Using the Amazon Mechanical Turk for Transcription of Spoken Language, Matthew R. Marge, Satanjeev Banerjee, and Alexander I. Rudnicky

PDF

Runtime-Efficient Meshing for Piecewise-Linear Complexes, Gary Miller and Todd Phillips

PDF

Unique Games Over Integers, Ryan O'Donnell, Yi Wu, and Yuan Zhou

PDF

Implementing and Improving MMIE Training in SphinxTrain, Long Qin and Alexander I. Rudnicky

PDF

The Effect of Lattice Pruning on MMIE Training, Long Qin and Alexander I. Rudnicky

PDF

Time-Varying Gaussian Graphical Models of Molecular Dynamics Data, Narges Sharif Razavian, Subhodeep Moitra, Hetunandan Kamisetty, Arvind Ramanathan, and Christopher J. Langmead

PDF

Focus-preserving Embeddings of Substructural Logics in Intuitionistic Logic, Jason Reed and Frank Pfenning

PDF

Logical approximation for program analysis, Robert J. Simmons and Frank Pfenning

PDF

Space Profiling for Parallel Functional Programs, Daniel Spoonhower, Guy E. Blelloch, Robert Harper, and Phillip B. Gibbons

PDF

Efficient Similarity Estimation for Systems Exploiting Data Redundancy, Kanat Tangwongsan, Himabindu Pucha, David G. Andersen, and Michael Kaminsky

PDF

Energy-efficient Cluster Computing with FAWN: Workloads and Implications, Vijay Vasudevan, David Andersen, Michael Kaminsky, Lawrence Tan, Jason Franklin, and Iulian Moraru

PDF

The Approximability of Learning and Constraint Satisfaction Problems, Yi Wu

PDF

PyTensor: A Python based Tensor Library, Ji Oh Yoo, Aravind Ramanathan, and Christopher J. Langmead

Submissions from 2009

PDF

Secretary Problems: Weights and Discounts, Moshe Babaioff, Michael Dinitz, Anupam Gupta, Nicole Immorlica, and Kunal Talwar

PDF

Structure Learning for Generative Models of Protein Fold Families, Sivaraman Balakrishnan, Hetunandan Kamisetty, Jaime G. Carbonell, and Christopher J. Langmead

PDF

Approximate Clustering without the Approximation, Maria-Florina Balcan, Avrim Blum, and Anupam Gupta

PDF

Improved Equilibria via Public Service Advertising, Maria-Florina Balcan, Avrim Blum, and Yishay Monsour

PDF

Detecting the Noteworthiness of Utterances in Human Meetings, Satanjeev Banerjee and Alexander I. Rudnicky

PDF

PLFS: A Checkpoint Filesystem for Parallel Applications, John Bent, Garth Gibson, Gary Grider, Ben McClelland, Paul Nowoczynski, James Nunez, Milo Polte, and Meghan Wingate

PDF

Lower Bounds for Testing Function Isomorphism, Eric Blais and Ryan O'Donnell

PDF

Low Depth Cache-Oblivious Algorithms, Guy E. Blelloch, Phillip B. Gibbons, and Harsha Vardhan Simhadri

PDF

Open CirrusTM Cloud Computing Testbed: Federated Data Centers for Open Source Systems and Services Research, Roy Cambpell, Indranil Gupta, Michael Heath, Steven Y. Ko, Michael Kozuch, Marcel Kunze, Thomas Kwan, Kevin Lai, Hing Yan Lee, Martha Lyons, Dejan Milojicic, David R. O'Hallaron, and Yeng Chai Soh

PDF

Relating State-Based and Process-Based Concurrency through Linear Logic, Iliano Cervesato and Andre Scedrov

PDF

Towards Engineered Architecture Evolution, Sagar Chaki, Andres Diaz-Pace, David Garlan, Arie Gurfinkel, and Ipek Ozkaya

PDF

Selection Criteria for Preparatory Object Rotation in Manual Lifting Actions, Lillian Y. Chang, Roberta L. Klatzky, and Nancy Pollard

PDF

Video survey of pre-grasp interactions in natural hand activities, Lillian Y. Chang and Nancy S. Pollard

PDF

RAIDE for Engineering Architecture-Based Self-Adaptive Systems, Shang-Wen Cheng, David Garlan, and Bradley Schmerl

PDF

MoSIFT: Recognizing Human Actions in Surveillance Videos, Ming-Yu Chen and Alexander Hauptmann

PDF

Informedia @ TRECVID 2009: Analyzing Video Motions, Ming-Yu Chen, Huan Li, and Alexander Hauptmann

PDF

Accessing the Densho and HistoryMakers Oral History Collections via Informedia Technologies, Michael G. Christel, Robert V. Baron, Geoff Froh, Dan Benson, and Julieanna Richardson

PDF

Analysis of Transaction Logs for Insights into Use of Life Oral Histories, Michael G. Christel, Bryan Maher, and Huan Li

PDF

High School Physics Pathway: Teachers Helping Teachers through Synthetic Interviews, Michael G. Christel, Scott Stevens, Huan Li, Dean A. Zollman, and Brian W. Adrian

PDF

A Simple Proof of Call-by-Value Standardization, Karl Crary

PDF

A Syntactic Account of Singleton Types via Hereditary Substitution, Karl Crary

PDF

Higher-order Representation of Substructural Logics, Karl Crary

PDF

Estimating the Error Distribution of a Single Tap Sequence without Ground Truth, Roger B. Dannenberg and Larry Wasserman

PDF

Reasoning about the Consequences of Authorization Policies in a Linear Epistemic Logic, Henry DeYoung and Frank Pfenning

PDF

Active Sampling for Rank Learning via Optimizing the Area Under the ROC Curve, Pinar Donmez and Jaime G. Carbonell

PDF

Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology, Alexandre Donze, Gilles Clermont, Axel Legay, and Christopher J. Langmead

PDF

Scheduling with Uncertain Resources: Representation of Common Knowledge, Eugene Fink, P. Matthew Jennings, Konstantin Salomatin, and Jaime G. Carbonell

PDF

Analysis of Uncertain Data: Smoothing of Histograms, Eugene Fink, Ankur Sarin, and Jaime G. Carbonell

PDF

M/G/k with Exponential Setup, Anshul Gandhi and Mor Harchol-Balter

PDF

Power Capping Via Forced Idleness, Anshul Gandhi, Mor Harchol-Balter, Rajarshi Das, Jeffrey O. Kephart, and Charles Lefurgy

PDF

Computing Equilibria in Multiplayer Stochastic Games of Imperfect Information, Sam Ganzfried and Tuomas W. Sandholm

PDF

A Logical Representation of Common Rules for Controlling Access to Classified Information, Deepak Garg, Frank Pfenning, Denis Serenyi, and Brian Witten

PDF

Ævol: A tool for defining and planning architecture evolution, David Garlan and Bradley Schmerl