Follow

Submissions from 2009

PDF

Creating and Visualizing Fuzzy Document Classification, Judith Gelernter, Dong Cao, Raymond Lu, Eugene Fink, and Jaime G. Carbonell

PDF

Analysis of Uncertain Data: Evaluation of Given Hypotheses, Anatole Gershman, Eugene Fink, Bin Fu, and Jaime G. Carbonell

PDF

Analysis of Uncertain Data: Selection of Probes for Information Gathering, Anatole Gershman, Eugene Fink, Bin Fu, and Jaime G. Carbonell

PDF

Understanding and Maturing the Data-Intensive Scalable Computing Storage Substrate, Garth Gibson, Bin Fan, Swapnil Patil, Milo Polte, Wittawat Tantisiriroj, and Lin Xiao

PDF

Distributed Parallel Inference on Large Factor Graphs, Joseph E. Gonzalez, Yucheng Low, Carlos Guestrin, and David R. O'Hallaron

PDF

Testing Fourier dimensionality and sparsity, Parikshit Gopalan, Ryan O'Donnell, Rocco A. Servedio, Amir Shpilka, and Karl Wimmer

PDF

Scheduling with Outliers, Anupam Gupta, Ravishankar Krishnamurthy, Amit Kumar, and Danny Segev

PDF

Differentially Private Approximation Algorithms, Anupam Gupta, Katrina Ligett, Frank McSherry, Aaron Roth, and Kunal Talwar

PDF

Thresholded Covering Algorithms for Robust and Max-Min Optimization, Anupam Gupta, Viswanath Nagarajan, and R. Ravi

PDF

On the inapproximability of M=G=K: Why two moments of job size distribution are not enough, Varun Gupta, Mor Harchol-Balter, J. G. Dai, and Bert Zwart

PDF

SMERS: Music Emotion Recognition Using Support Vector Regression, Byeong-jun Han, Seungmin Ho, Roger B. Dannenberg, and Eenjun Hwang

PDF

Queueing Disciplines, Mor Harchol-Balter

PDF

Why Segregating Short Jobs from Long Jobs under High Variability is Not Always a Win, Mor Harchol-Balter, Alan Scheller-Wolf, and Andrew Young

PDF

Prior-Free Rare Category Detection, Jingrui He and Jaime G. Carbonell

PDF

Mesh Enhanced Persistent Homology, Benoit Hudson, Gary L. Miller, Steve Y. Oudot, and Donald R. Sheehy

PDF

Size Complexity of Volume Meshes vs. Surface Meshes, Benoit Hudson, Gary L. Miller, Todd Phillips, and Donald Sheehy

PDF

ACM SIGMM the First Workshop on Web-Scale Multimedia Corpus (WSMC09), Benoit Huet, Jinhui Tang, and Alexander Hauptmann

PDF

Statistical Model Checking for Complex Stochastic Models in Systems Biology, Sumit Kumar Jha, Edmund M. Clarke, Christopher J. Langmead, Axel Legay, Andre Platzer, and Paolo Zuliani

PDF

Representations of Keypoint-Based Semantic Concept Detection: A Comprehensive Study, Yu-Gang Jiang, Jun Yang, Chong-Wah Ngo, and Alexander Hauptmann

PDF

Modeling and Inference of Sequence-Structure Specificity, Hetunandan Kamisetty, Bornika Ghosh, Chris Bailey-Kellog, and Christopher J. Langmead

PDF

A Bayesian Approach to Protein Model Quality Assessment, Hetunandan Kamisetty and Christopher J. Langmead

PDF

Belief Propagation Reveals Allosteric Mechanisms in Proteins, Hetunandan Kamisetty, Arvind Ramanathan, and Christopher J. Langmead

PDF

Training of the Carnegie Mellon Teams for the ACM Programming Competition, Gregory Kesden, Eugene Fink, and Daniel D. Sleator

PDF

Combinatorial Preconditioners and Multilevel Solvers for Problems in Computer Vision and Image Processing, Ioannis Koutis, Gary L. Miller, Ali Sinop, and David Tolliver

PDF

Generalized Queries and Bayesian Statistical Model Checking in Dynamic Bayesian Networks: Application to Personalized Medicine, Christopher J. Langmead

PDF

A Universe of Binding and Computation, Daniel R. Licata and Robert Harper

PDF

The Nonparanormal: Semiparametric Estimation of High Dimensional Undirected Graphs, Han Liu, John Lafferty, and Larry Wasserman

PDF

Refinement Types as Proof Irrelevance, William Lovas and Frank Pfenning

PDF

Large-scale Collaborative Prediction Using a Nonparametric Random Effects Model, Kai Lu, John Lafferty, Shenghuo Zhu, and Yihong Gong

PDF

Holistic Query Transformations for Dynamic Web Applications, Amit Manjhi, Charles Garrod, Bruce M. Maggs, Todd C. Mowry, and Anthony S. Tomasic

PDF

Exploring Spoken Dialog Interaction in Human-Robot Teams, Matthew R. Marge, Aasish K. Pappu, Benjamin Frisch, Thomas K. Harris, and Alexander I. Rudnicky

PDF

Testing Halfspaces, Kevin Matulef, Ryan O'Donnell, Ronitt Rubenfeld, and Rocco A. Servedio

PDF

Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method, Sean McLaughlin and Frank Pfenning

PDF

Fast Meshing for Acute PLCs, Gary L. Miller and Todd Phillips

PDF

Approximating Voronoi Diagrams with Voronoi Diagrams, Gary L. Miller, Todd Phillips, and Donald Sheehy

PDF

Fast Cache for Your Text: Accelerating Exact Pattern Matching with Feed-Forward Bloom Filters, Iulian Moraru and David G. Andersen

PDF

KKL, Kruskal-Katona, and Monotone Nets, Ryan O'Donnell and Karl Wimmer

PDF

Optimal lower bounds for locality sensitive hashing (except when q is tiny), Ryan O'Donnell, Yi Wu, and Yuan Zhou

PDF

Better with Byzantine: Manipulation-Optimal Mechanisms, Abraham M. Othman and Tuomas W. Sandholm

PDF

How Pervasive is the Myerson-Satterthwaite Impossibility?, Abraham M. Othman and Tuomas W. Sandholm

PDF

CLAMP: Practical Prevention of Large-Scale Data Leaks, Bryan Parno, Jonathan M. McCune, Dan Wendlandt, David G. Andersen, and Adrian Perrig

PDF

Substructural Operational Semantics as Ordered Logic Programming, Frank Pfenning and Robert J. Simmons

PDF

Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study, Andre Platzer and Edmund M. Clarke

PDF

European Train Control System: A Case Study in Formal Veri fication, Andre Platzer and Jan-David Quesel

PDF

Real World Verifi cation, Andre Platzer, Jan-David Quesel, and Philipp Rummer

PDF

Enabling Enterprise Solid State Disks Performance, Milo Polte, Jiri Simsa, and Garth Gibson

PDF

An Online Approach for Mining Collective Behaviors from Molecular Dynamics Simulations, Arvind Ramanathan, Pratul K. Agarwal, Maria Kurnikova, and Christopher J. Langmead

PDF

Dynamic Invariants in Protein Folding Pathways Revealed by Tensor Analysis, Arvind Ramanathan and Christopher J. Langmead

PDF

Sparse Additive Models, Pradeep Ravikumar, John Lafferty, Han Liu, and Larry Wasserman

PDF

Orality-Grounded HCID: Understanding the Oral User, Roni Rosenfield, Jahanzeb Sherwani, Nosheen Ali, and Carolyn P. Rosé

PDF

Cooperative and Competitive Interactions Facilitate Stereo Computations in Macaque Primary Visual Cortex, Jason M. Samonds, Brian R. Potetz, and Tai Sing Lee

PDF

The Block Diagonal In nite Hidden Markov Model, Thomas Stepleton, Zoubin Ghahramani, Geoffrey J. Gordon, and Tai Sing Lee

PDF

Action Recognition via Local Descriptors and Holistic Features, Xinghua Sun and Alexander Hauptmann

PDF

Prediction of Interactions between HIV-1 and Human Proteins by Information Integration, Osnur Tastan, Yanjun Qi, Jaime G. Carbonell, and Judith Klein-Seetharaman

PDF

Approximate Triangle Counting, Charalampos E. Tsourakakis, Mihail N. Kolountzakis, and Gary L. Miller

PDF

FAWNdamentally Power-Efficient Clusters, Vijay Vasudevan, Jason Franklin, David Andersen, Amar Phanishayee, Lawrence Tan, Michael Kaminsky, and Iulian Moraru

PDF

Tracking Dynamic Sources of Malicious Activity at Internet-Scale, Shoba Venkataraman, Avrim Blum, Dawn Song, Subhabrata Sen, and Oliver Spatscheck

PDF

Your Data Center Is a Router: The Case for Reconfigurable Optical Circuit Switched Paths, Guohui Wang, David G. Andersen, Michael Kaminsky, Michael Kozuch, T.S. Eugene Ng, Konstantina Papagiannaki, Madeleine Glick, and Lily Mummert

Submissions from 2008

PDF

Efficiency through Eavesdropping: Link-layer Packet Caching, Mikhail Afanasyev, David G. Andersen, and Alex C. Snoeren

PDF

On the Performance Benefits of Multihoming Route Control, Aditya Akella, Bruce M. Maggs, Srinivasan Seshan, Anees Shaikh, and Ramesh Sitaraman

PDF

FAWN: A Fast Array of Wimpy Nodes (CMU-PDL-08-108), David G. Andersen, Jason Franklin, Amar Phanishayee, Lawrence Tan, and Vijay Vasudevan

PDF

A Plant Location Guide for the Unsure, Barbara M. Anthony, Vineet Goyal, Anupam Gupta, and Viswanath Nagarajan

PDF

Clustering with Interactive Feedback, Maria-Florina Balcan and Avrim Blum

PDF

A Theory of Learning with Similarity Functions, Maria-Florina Balcan, Avrim Blum, and Nathan Srebro

PDF

Improved Guarantees for Learning via Similarity Functions, Maria-Florina Balcan, Avrim Blum, and Nathan Srebro

PDF

An Extractive-Summarization Baseline for the Automatic Detection of Noteworthy Utterances in Multi-Party Human-Human Dialog, Satanjeev Banerjee and Alexander I. Rudnicky

PDF

Polynomial regression under arbitrary product distributions, Eric Blais, Ryan O'Donnell, and Karl Wimmer

PDF

Uniquely represented data structures for computational geometry, Guy E. Blelloch, Daniel Golovin, and Virginia Vassilevska

PDF

Regret Minimization and the Price of Total Anarchy, Avrim Blum, MohammedTaghi Hajiaghayi, Katrina Ligett, and Aaron Roth

PDF

Scheduling with Uncertain Resources: Learning to Ask the Right Questions, Alexander Carpentier, Mehrbod Sharifi, Eugene Fink, and Jaime G. Carbonell

PDF

Suppressing Outliers in Pairwise Preference Ranking, Vitor S. Cavalho, Jonathan L. Elsas, William W. Cohen, and Jaime G. Carbonell

PDF

On Teaching Programming Languages Using a Wiki, Iliano Cervesato

PDF

Method for Determining Kinematic Parameters of the In Vivo Thumb Carpometacarpal Joint, Lillian Y. Chang and Nancy S. Pollard

PDF

Legible Simplification of Textured Urban Models, Remco Chang, Thomas Butkiewicz, Carolinie Ziemkiewicz, Zachary Wartell, Nancy S. Pollard, and William Ribarsky

PDF

Approximating TSP on Metrics with Bounded Global Growth, T.-H. Hubert Chan and Anupam Gupta

PDF

Ultra-Low-Dimensional Embeddings for Doubling Metrics, T.-H. Hubert Chan, Anupam Gupta, and Kunal Talwar

PDF

A Logical Characterization of Forward and Backward Chaining in the Inverse Method, Kaustuv Chaudhuri, Frank Pfenning, and Greg Price

PDF

Set Connectivity Problems in Undirected Graphs and the Directed Steiner Network Problem, Chandra Chekuri, Guy Even, Anupam Gupta, and Danny Segev

PDF

Recognition of Aggressive Human Behavior Using Binary Local Motion Descriptors, Datong Chen, Ming-Yu Chen, Can Gao, Alexander Hauptmann, Howard Wactlar, and Ashok Bharucha

PDF

Improving Architecture-Based Self-Adaptation Through Resource Prediction, Shang-Wen Cheng, Vahe V. Poladian, David Garlan, and Bradley Schmerl

PDF

Verification of Floating-Point Adders, Yirng-An Chen and Randal E. Bryant

PDF

Veritas: Combining Expert Opinions without Labeled Data, Sharath R. Cholleti, Sally A. Goldman, Avrim Blum, David G. Politte, and Steven Don

PDF

Supporting Video Library Exploratory Search: When Storyboards are not Enough, Michael G. Christel

PDF

Evaluating the Contributions of Video Representation for a Life Oral History Collection, Michael G. Christel and Michael H. Frisch

PDF

Exploring the Utility of Fast-Forward Surrogates for BBC Rushes, Michael G. Christel, Alexander Hauptmann, Wei-Hao Lin, Ming-Yu Chen, Jun Yang, Bryan Maher, and Robert V. Baron

PDF

Evaluating Audio Skimming and Frame Rate Acceleration for Summarizing BBC Rushes, Michael G. Christel, Wei-Hao Lin, and Bryan Maher

PDF

Statistical Model Checking in BioLab : Applications to the automated analysis of T-Cell Receptor Signaling Pathway, Edmund M. Clarke, James R. Faeder, Christopher J. Langmead, Leonard A. Harris, Sumit Kumar Jha, and Axel Legay

PDF

Analysis and Veri cation Challenges for Cyber-Physical Transportation Systems, Edmund M. Clarke, Bruce Krogh, Andre Platzer, and Raj Rajkumar

PDF

New Complexity Results about Nash Equilibria, Vincent Conitzer and Tuomas W. Sandholm

PDF

Explicit Contexts in LF (Revised), Karl Crary

PDF

Foundational Certified Code in a Metalogical Framework, Karl Crary and Susmit Sarkar

PDF

Computer Coordination With Popular Music: A New Research Agenda, Roger B. Dannenberg

PDF

The Nyquist Composition Environment: Supporting Textual Programming with a Task-Oriented User Interface, Roger B. Dannenberg

PDF

Programming Modular Robots with Locally Distributed Predicates, Michael De Rosa, Seth C. Goldstein, Peter Lee, Padmanabhan Pillai, and Jason Campbell

PDF

Generalizing Metamodules to Simplify Planning in Modular Robotic Systems, Daniel J. Dewey, Michael P. Ashley-Rollman, Michael De Rosa, Seth C. Goldstein, Todd C. Mowry, Siddartha S. Srinivasa, Padmanabhan Pillai, and Jason Campbell

PDF

An Authorization Logic with Explicit Time, Henry DeYoung, Deepak Garg, and Frank Pfenning

PDF

Optimizing Estimated Loss Reduction for Active Sampling in Rank Learning, Pinar Donmez and Jaime G. Carbonell

PDF

Paired-Sampling in Density-Sensitive Active Learning, Pinar Donmez and Jaime G. Carbonell

PDF

Fast Learning of Document Ranking Functions with the Committee Perceptron, Jonathan L. Elsas, Vitor R. Carvalho, and Jaime G. Carbonell

PDF

Analysis of Uncertain Data: Tools for Representation and Processing, Bin Fu, Eugene Fink, and Jaime G. Carbonell